A Distributed Version of Syrup

Theory and Applications of Satisfiability Testing – SAT 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66263-3_14 ◽

2017 ◽

pp. 215-232 ◽

Cited By ~ 2

Author(s):

Gilles Audemard ◽

Jean-Marie Lagniez ◽

Nicolas Szczepanski ◽

Sébastien Tabary

Download Full-text