
sathi Ukendt
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
Research outputs (2)
- Published
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
On Exploiting Structures for Constraint Solving
Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis
Recent activities and conferences
Loading map data...
ID: 962578