Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Beyersdorff, Olaf; Wintersteiger, Christoph M
Series: Springer Lecture notes in computer science 10929
Publisher: Springer
Year: 2018

Language: English
Pages: 452
City: Oxford
Tags: Agent (Informatik);Informationssystem.;CASE (Informatik);Requirements engineering.;World Wide Web.;Wissensmanagement.