Efficient Reasoning for Nogoods in Constraint Solvers with BDDs
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Original language | English |
---|---|
Book series | Lecture Notes in Computer Science |
ISSN | 0302-9743 |
Publication status | Published - 2008 |
Event | PADL 2008 Symposium - San Francisco, United States Duration: 7 Jan 2008 → 8 Jan 2008 |
Conference
Conference | PADL 2008 Symposium |
---|---|
Country | United States |
City | San Francisco |
Period | 07/01/2008 → 08/01/2008 |
ID: 265914