Travelled to:1 × United Kingdom
Collaborated with:∅
Talks about:techniqu (1) conflict (1) solver (1) reason (1) hybrid (1) driven (1) build (1) ahead (1) look (1) xor (1)
Person: Jingchao Chen
DBLP: Chen:Jingchao
Contributed to:
2009Wrote 1 papers:
- SAT-2009-Chen #hybrid #reasoning #satisfiability
- Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques (JC), pp. 298–311.