Travelled to:
1 × USA
Collaborated with:
L.Drake T.Walsh
Talks about:
procedur (1) satisfi (1) resolut (1) dpll (1) ad (1)
Person: Alan Frisch
DBLP: Frisch:Alan
Contributed to:
Wrote 1 papers:
- SAT-2002-DrakeFW #satisfiability
- Adding resolution to the DPLL procedure for satisfiability (LD, AF, TW), p. 46.