sathi Ukendt

sathi Ukendt

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S

Information Desk: 72185000

View graph of relations

  1. 2008
  2. Published

    Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

    Subbarayan, S., 2008, In: Lecture Notes in Computer Science.

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

  3. Published

    On Exploiting Structures for Constraint Solving

    Subbarayan, S., 2008, IT-Universitetet i København.

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

ID: 962578