Lyndon Drake

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

4 Lyndon Drake, Alan M. Frisch: The Interaction Between Inference and Branching Heuristics. SAT 2003: 370-382

2002

3 Lyndon Drake, Alan M. Frisch: Combining Inference and Search for the Propositional Satisfiability Problem. AAAI/IAAI 2002: 982

2 Lyndon Drake, Alan M. Frisch, Toby Walsh: Automatic Generation of Implied Clauses for SAT. CP 2002: 783

2001

1 Lyndon Drake: Automatic Generation of Implied Clauses for SAT. CP 2001: 761

	2003
4		Lyndon Drake, Alan M. Frisch: The Interaction Between Inference and Branching Heuristics. SAT 2003: 370-382
	2002
3		Lyndon Drake, Alan M. Frisch: Combining Inference and Search for the Propositional Satisfiability Problem. AAAI/IAAI 2002: 982
2		Lyndon Drake, Alan M. Frisch, Toby Walsh: Automatic Generation of Implied Clauses for SAT. CP 2002: 783
	2001
1		Lyndon Drake: Automatic Generation of Implied Clauses for SAT. CP 2001: 761

Coauthor Index

1 Alan M. Frisch [2] [3] [4]

2 Toby Walsh [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page