FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

1. Theory and Applications of Satisfiability Testing -- SAT 2015 [electronic resource] :18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /

by Heule, Marijn [editor.] | Weaver, Sean [editor.] | SpringerLink (Online service).

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

2. Handbook of satisfiability

by Biere, Armin [editor] | Heule, Marijn [editor] | Mareen, Hans Van [editor] | Walsh, Toby [editor].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Amsterdam : IOS Press, ©2009Availability:
Items available for reference: IIITD [REF 511.3 BIE-H] (1).

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: