Location & Availability for: Theory and applications of satisfiabilit

 Staff view

You must be logged in to Tag Records

Theory and applications of satisfiability testing -- SAT 2014 : 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /

Carsten Sinz, Uwe Egly (eds.).

Book Cover
Names: Sinz, Carsten, | Egly, Uwe,
Published: Cham : Springer, 2014.
Series: Lecture notes in computer science ; 8561.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Computer Science. | Artificial Intelligence (incl. Robotics). | Mathematics of Computing. | Computer algorithms - Congresses. | Computer software - Verification - Congresses.
Genres: Electronic books.
Online Access: SpringerLink Link to Theory and applications of satisfiability testing -- SAT 2014 (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: Theory and applications of satisfiabilit