Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/cp/DrakeFW02
AU - Drake, Lyndon
AU - Frisch, Alan M.
AU - Walsh, Toby
TI - Automatic Generation of Implied Clauses for SAT.
BT - Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
SP - 783
PY - 2002//
DO - 10.1007/3-540-46135-3_78
UR - https://doi.org/10.1007/3-540-46135-3_78
ER -
