W. Mark Vanfleet

Publication Activity (10 Years)

Years Active: 2000-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)
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)
W. B. Martin, P. D. White, W. Mark Vanfleet
Government, industry, and academia: Teaming to design high confidence information security applications. FMSP (2000)