Michael Dransfield

	2004
2		John V. Franco, Michal Kouril, John S. Schlipf, Sean Weaver, Michael Dransfield, W. Mark Vanfleet: Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. J. UCS 10(12): 1655-1695 (2004)
	2003
1		John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean Weaver, Michael Dransfield, W. Mark Vanfleet: SBSAT: a State-Based, BDD-Based Satisfiability Solver. SAT 2003: 398-410

Coauthor Index

1	John V. Franco	[1] [2]
2	Michal Kouril	[1] [2]
3	John S. Schlipf	[1] [2]
4	W. Mark Vanfleet	[1] [2]
5	Jeffrey Ward	[1]
6	Sean Weaver	[1] [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