Michael R. Dransfield

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

John V. Franco, Michal Kouril, John S. Schlipf, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. J. Univers. Comput. Sci. 10 (12) (2004)
Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski
Satisfiability and Computing van der Waerden Numbers. Electron. J. Comb. 11 (1) (2004)
Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski
Satisfiability and Computing van der Waerden Numbers. SAT (2003)
John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet
SBSAT: a State-Based, BDD-Based Satisfiability Solver. SAT (2003)
Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski
Satisfiability and computing van der Waerden numbers CoRR (2003)