Alexandre Linhares

According to our database, Alexandre Linhares authored at least 17 papers between 1998 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1.

Alexandre Linhares

CoRR, April, 2026

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4.

Alexandre Linhares

CoRR, April, 2026

2014

The emergence of choice: Decision-making and strategic thinking through analogies.

Alexandre Linhares

Inf. Sci., 2014

2012

Entanglement of perception and reasoning in the combinatorial game of chess: Differential errors of strategic reconstruction.

Alexandre Linhares, Anna Elizabeth T. A. Freitas, Alexandre Mendes, Jarbas S. Silva

Cogn. Syst. Res., 2012

2010

Search intensity versus search diversity: a false trade off?

Alexandre Linhares, Horacio Hideki Yanasse

Appl. Intell., 2010

2009

How Can Experts See the Invisible? Reply to Bilalic and Gobet.

Alexandre Linhares, Paulo Brum

Cogn. Sci., 2009

2008

Automated Scientific Discovery and Hofstadter's Fluid Concepts Model.

Alexandre Linhares, Eric Nichols

Proceedings of the Automated Scientific Discovery, 2008

2007

Understanding Our Understanding of Strategic Scenarios: What Role Do Chunks Play?

Alexandre Linhares, Paulo Brum

Cogn. Sci., 2007

2005

An Active Symbols Theory of Chess Intuition.

Alexandre Linhares

Minds Mach., 2005

2004

A multiple-population evolutionary approach to gate matrix layout.

Alexandre Mendes, Alexandre Linhares

Int. J. Syst. Sci., 2004

2002

Connections between cutting-pattern sequencing, VLSI design, and flexible machines.

Alexandre Linhares, Horacio Hideki Yanasse

Comput. Oper. Res., 2002

2001

Problemas industriais de seqüenciamento de padrões: alguns resultados de complexidade e novos modelos de busca local.

Alexandre Linhares

PhD thesis, 2001

2000

A glimpse at the metaphysics of Bongard problems.

Alexandre Linhares

Artif. Intell., 2000

1999

Synthesizing a predatory search strategy for VLSI layouts.

Alexandre Linhares

IEEE Trans. Evol. Comput., 1999

Linear gate assignment: a fast statistical mechanics approach.

Alexandre Linhares, Horacio Hideki Yanasse, José Ricardo de Almeida Torreao

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

1998

State-space search strategies gleaned from animal behavior: a traveling salesman experiment.

Alexandre Linhares

Biol. Cybern., 1998

Preying on optima: a predatory search strategy for combinatorial problems.

Alexandre Linhares

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998