Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers

This page contains additional material for the following paper:

V. Schuppan: Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. To appear at: 30th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2018, Volos, Greece, November 5-7, 2018.

Download:

Source Code

The source code of our tool is here.

Experimental Evaluation

The data from our experimental evaluation are here: experimental evaluation except quantom (17.1 GiB), experimental evulation quantom part (3.4 GiB).