Travelled to:1 × USA
Collaborated with:A.Sabharwal C.Ansótegui C.P.Gomes B.Selman
Talks about:symmetri (1) simplic (1) exploit (1) player (1) effici (1) model (1) qbf (1)
Person: Justin W. Hart
DBLP: Hart:Justin_W=
Contributed to:
2006Wrote 1 papers:
- SAT-2006-SabharwalAGHS #modelling #performance #symmetry
- QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency (AS, CA, CPG, JWH, BS), pp. 382–395.