Travelled to:1 × Italy
Collaborated with:J.V.Franco M.Kouril J.S.Schlipf J.Ward S.Weaver M.Dransfield
Talks about:base (2) satisfi (1) solver (1) state (1) sbsat (1) bdd (1)
Person: W. Mark Vanfleet
DBLP: Vanfleet:W=_Mark
Contributed to:
2003Wrote 1 papers:
- SAT-2003-FrancoKSWWDV #named #satisfiability
- SBSAT: a State-Based, BDD-Based Satisfiability Solver (JVF, MK, JSS, JW, SW, MD, WMV), pp. 398–410.