1. Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. (2016) Editors: Creignou, Nadia; Le Berre, Daniel Other Names: SAT (Conference), 19th Record Type: Book Extent: 1 online resource (xxiv, 564 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗