FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. Complexity classifications of Boolean constraint satisfaction problems

by Creignou, Nadia | Khanna, Sanjeev | Sudan, Madhu.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Philadelphia : Society for Industrial and Applied Mathematics, ©2001Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [REF 511.3 CRE-C] (1).

2. Complexity of Constraints [electronic resource] :An Overview of Current Research Themes /

by Creignou, Nadia [editor.] | Kolaitis, Phokion G [editor.] | Vollmer, Heribert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

3. Theory and Applications of Satisfiability Testing – SAT 2016 [electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /

by Creignou, Nadia [editor.] | Le Berre, Daniel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in