Luís Baptista

According to our database, Luís Baptista authored at least 3 papers between 2000 and 2001.

Collaborative distances:

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

2001

Stochastic Systematic Search Algorithms for Satisfiability.

Inês Lynce, Luís Baptista, João Marques-Silva

Electron. Notes Discret. Math., 2001

Towards Provably Complete Stochastic Search Algorithms for Satisfiability.

Inês Lynce, Luís Baptista, João Marques-Silva

Proceedings of the Progress in Artificial Intelligence, 2001

2000

Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability.

Luís Baptista, João Marques-Silva

Proceedings of the Principles and Practice of Constraint Programming, 2000