dblp.uni-trier.de

Luís Babtista

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM - CiteSeer - CSB - Google - HomePageSearch
2001
1EEInês Lynce, Luís Babtista, João P. Marques Silva: Towards Provably Complete Stochastic Search Algorithms for Satisfiability. EPIA 2001: 363-370

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Dec 16 00:23:31 2004