Michael R. Dransfield

According to our database, Michael R. Dransfield authored at least 4 papers between 2003 and 2004.

Collaborative distances:

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

2004

Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.

John V. Franco, Michal Kouril, John S. Schlipf, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet

J. Univers. Comput. Sci., 2004

Satisfiability and Computing van der Waerden Numbers.

Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski

Electron. J. Comb., 2004

2003

SBSAT: a State-Based, BDD-Based Satisfiability Solver.

John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Satisfiability and Computing van der Waerden Numbers.

Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Theory and Applications of Satisfiability Testing, 2003