ITU

Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

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

Standard

Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. / Subbarayan, Sathiamoorthy.

In: Lecture Notes in Computer Science, 2008.

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

Harvard

APA

Vancouver

Author

Bibtex

@inproceedings{f326029093ae11dd8006000ea68e967b,
title = "Efficient Reasoning for Nogoods in Constraint Solvers with BDDs",
author = "Sathiamoorthy Subbarayan",
note = "Volumne: 4902; null ; Conference date: 07-01-2008 Through 08-01-2008",
year = "2008",
language = "English",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer",

}

RIS

TY - GEN

T1 - Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

AU - Subbarayan, Sathiamoorthy

N1 - Volumne: 4902

PY - 2008

Y1 - 2008

M3 - Conference article

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

Y2 - 7 January 2008 through 8 January 2008

ER -

ID: 265914