ITU

Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

View graph of relations

Original languageEnglish
Book seriesLecture Notes in Computer Science
ISSN0302-9743
Publication statusPublished - 2008
EventPADL 2008 Symposium - San Francisco, United States
Duration: 7 Jan 20088 Jan 2008

Conference

ConferencePADL 2008 Symposium
CountryUnited States
CitySan Francisco
Period07/01/200808/01/2008

ID: 265914