Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:M.Kouril J.S.Schlipf J.Ward S.Weaver M.Dransfield W.M.Vanfleet
Talks about:solver (2) base (2) satisfi (1) resolut (1) perform (1) tunnel (1) improv (1) state (1) sbsat (1) sat (1)
Person: John V. Franco
DBLP: Franco:John_V=
Contributed to:
20052003Wrote 2 papers:
- SAT-2005-KourilF #performance #satisfiability
- Resolution Tunnels for Improved SAT Solver Performance (MK, JVF), pp. 143–157.
- SAT-2003-FrancoKSWWDV #named #satisfiability
- SBSAT: a State-Based, BDD-Based Satisfiability Solver (JVF, MK, JSS, JW, SW, MD, WMV), pp. 398–410.