- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Biere, Armin

Showing 1 - 5 of 5 results

Search Results

Cover image for Theory and applications of satisfiability testing -- SAT 2006

Theory and applications of satisfiability testing -- SAT 2006

by SAT 2006
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.3 S365 2006	✔ Available

Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

by Biere, Armin
2014
Format: Electronic

Location
Access Content Online

Cover image for Hardware and Software

Hardware and Software

by Biere, Armin
2013
Format: Electronic

Location
Access Content Online

Cover image for Handbook of satisfiability

Handbook of satisfiability

2009
Format: Electronic

Location
Access Content Online

Cover image for Theory and applications of satisfiability testing -- SAT 2006

Theory and applications of satisfiability testing -- SAT 2006

by SAT 2006
2006
Format: Electronic

Location
Access Content Online