JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  download | overview | publications | license ]

BlocksQBF

Download

Overview

BlocksQBF is a generator for random QBFs in QDIMACS format. It is an implementation of the random model described in "Hubie Chen, Yannet Interian: A Model for Generating Random Quantified Boolean Formulas. IJCAI 2005: 66-71". In the resulting QBFs all clauses have the same length and the number of literals taken from a quantifier block to appear in a clause is constant for each clause.

Publications

Paper and talk at SAT'10.

License

BlocksQBF is released under GNU GPLv3. See also file COPYING that is part of the distribution.