W. Mark Vanfleet

According to our database, W. Mark Vanfleet authored at least 3 papers between 2000 and 2004.

Collaborative distances:

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

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

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

2000

Government, industry, and academia: Teaming to design high confidence information security applications.

W. B. Martin, P. D. White, W. Mark Vanfleet

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000