Travelled to:2 × France
Collaborated with:P.Manolios D.Vroon M.Might O.Shivers
Talks about:generat (1) faster (1) better (1) model (1) gamma (1) check (1) solv (1) sat (1) cnf (1) cfa (1)
Person: Benjamin Chambers
DBLP: Chambers:Benjamin
Contributed to:
2009
2007Wrote 2 papers:
- DATE-2009-ChambersMV #generative #performance #satisfiability
- Faster SAT solving with better CNF generation (BC, PM, DV), pp. 1590–1595.
- VMCAI-2007-MightCS #model checking
- Model Checking Via GammaCFA (MM, BC, OS), pp. 59–73.