Luís Baptista

List of publications from the DBLP Bibliography Server - FAQ

2001

3 EE Inês Lynce, Luís Baptista, João P. Marques Silva: Towards Provably Complete Stochastic Search Algorithms for Satisfiability. EPIA 2001: 363-370

2 EE Inês Lynce, Luís Baptista, João Marques-Silva: Stochastic Systematic Search Algorithms for Satisfiability. Electronic Notes in Discrete Mathematics 9: 190-204 (2001)

2000

1 EE Luís Baptista, João P. Marques Silva: Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. CP 2000: 489-494

2001
3	EE	Inês Lynce, Luís Baptista, João P. Marques Silva: Towards Provably Complete Stochastic Search Algorithms for Satisfiability. EPIA 2001: 363-370
2	EE	Inês Lynce, Luís Baptista, João Marques-Silva: Stochastic Systematic Search Algorithms for Satisfiability. Electronic Notes in Discrete Mathematics 9: 190-204 (2001)
2000
1	EE	Luís Baptista, João P. Marques Silva: Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. CP 2000: 489-494

Coauthor Index

1 Inês Lynce [2] [3]

2 João P. Marques Silva (João Marques-Silva) [1] [2] [3]

1	Inês Lynce	[2] [3]
2	João P. Marques Silva (João Marques-Silva)	[1] [2] [3]