Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

Sathiamoorthy Subbarayan

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
ISSN	0302-9743
Status	Udgivet - 2008
Begivenhed	PADL 2008 Symposium - San Francisco, USA Varighed: 7 jan. 2008 → 8 jan. 2008

Citationsformater

@inproceedings{f326029093ae11dd8006000ea68e967b,

title = "Efficient Reasoning for Nogoods in Constraint Solvers with BDDs",

author = "Sathiamoorthy Subbarayan",

note = "Volumne: 4902; PADL 2008 Symposium ; Conference date: 07-01-2008 Through 08-01-2008",

year = "2008",

language = "English",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}