Publications

The Effect of Nogood Recording in Dpll-Cbj Sat Algorithms

AuthID
P-000-KJW

Author(s)

Lynce, I

Marques Silva, J

Editor(s)

O'Sullivan,B

Document Type

Proceedings Paper

Year published

2003

Published

in RECENT ADVANCES IN CONSTRAINTS in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 2627, Pages: 144-158 (15)

Conference

Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Date: JUN 19-21, 2002, Location: CORK, IRELAND, Sponsors: ERCIM Working Grp Constraints, CologNet Ares Constraint & Log Programming, Cork Constraint Computat Ctr

Indexing