Efficient Reasoning for Nogoods in Constraint Solvers with BDDs
- Sathiamoorthy Subbarayan
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewPublication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishJournal (Volume, Issue Number)
Lecture Notes in Computer SciencePublication milestones
- Published - 2008
Publication status
Published - 2008
ISSN
0302-9743Related Event
Title
PADL 2008 Symposium
Event type
ConferenceDate
07/01/2008 - 08/01/2008Location
San FranciscoUnited States