SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
ACCEPTED PAPERS

SAT 2015 accepted 21 regular papers, 2 short papers and 7 tool papers. The list of accepted papers is also available with abstracts.

Regular papers:

Short papers:
Tool papers: