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