FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

1. Theory and Applications of Satisfiability Testing – SAT 2010 [electronic resource] :13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

by Strichman, Ofer [editor.] | Szeider, Stefan [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, 2010.Online access: Click here to access online Availability: No items available

2. Decision procedures : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin : Springer, ©2016Availability:
Items available for reference: IIITD [REF 519.542 KRO-D] (1).

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