General

Profile

Ralf Wimmer

  • Registered on: 09/28/2012
  • Last connection: 09/11/2017

Issues

Projects

Activity

09/11/2017

08:26 PM Solving Dependency Quantified Boolean Formulas hqspre-1.3.zip
HQSpre version 1.3

03/23/2017

12:12 PM Solving Dependency Quantified Boolean Formulas hqspre-1.2.zip
Bug fix release

01/08/2017

07:36 PM Solving Dependency Quantified Boolean Formulas hqspre-1.1.zip
Version 1.1 of the QBF and DQBF preprocessor HQSpre

05/16/2016

01:18 PM Solving Dependency Quantified Boolean Formulas hqs_2016-05-16.zip
Recent version of HQS and the Skolem function checker

04/20/2016

05:23 PM Solving Dependency Quantified Boolean Formulas benchmarks_2016-04-20.zip
DQBF Benchmarks
12:47 PM Solving Dependency Quantified Boolean Formulas dep_analyzer-1.0.tar.gz
Dependency Schemes for DQBF

Also available in: Atom