TY  - RPRT
TI  - Efficient Partial Order CDCL Using Assertion Level Choice Heuristics
AU  - Anthony Monnet
AU  - Roger Villemaire
PY  - 2013
UR  - https://arxiv.org/abs/1301.7676
ID  - 1301.7676
ER  -