Recent news about SAT for tag QBF

 

  • Dec 19, 2016  QBFEVAL 2017 - Preliminary Call For Benchmarks by QBF  Deadline 

    QBFEVAL'17 will be the 2017 competitive evaluation of QBF solvers, and the twelfth evaluation of QBF solvers and instances ever. QBFEVAL'17 will award solvers that stand out as being particularly effective on specific categories of QBF instances.
  • Apr 22, 2016  CFP - 4th International Workshop on Quantified Boolean Formulas (and Beyond) by Florian Lonsing CFP  Deadline  QBF 

    Submission deadline extended to May 8.
  • Mar 11, 2016  CFP - 4th International Workshop on Quantified Boolean Formulas (and Beyond) by Florian Lonsing CFP  Deadline  QBF 

    The goal of the International Workshop on Quantified Boolean Formulas (and Beyond) is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the state of the art in research and to consolidate on immediate and long-term challenges.
  • Dec 22, 2015  QBFEVAL'16 - Competitive evaluation of QBF solvers by Luca Pulina CFP  Deadline  QBF 

    ******************************************************************
    Call for Solvers & Benchmarks
    QBFEVAL'16 - Competitive evaluation of QBF solvers
    
    A joint event with SAT 2016 - The Nineteenth International Conference
    on Theory and Applications of Satisfiability Testing - Bordeaux,
    France, July 5-8, 2016
    ******************************************************************
    
  • Dec 22, 2015  International Workshop on Quantified Boolean Formulas by Florian Lonsing QBF 

    The website of the QBF16 workshop is online.

  • May 11, 2015  CFP QUANTIFY 2015 by Florian Lonsing CFP  QBF 

    The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view.
  • Mar 13, 2015  CFP QUANTIFY 2015 by Florian Lonsing CFP  QBF 

    The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view.
  • Dec 20, 2014  PhD position in QBF solving at Vienna University of Technology, Austria by Stefan Szeider Position  PhD  QBF 

    There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving at the Vienna University of Technology, Vienna, Austria.

Our scientific association

The SAT association

Upcoming deadlines

November 30, 2017
ECL Special issue
January 29, 2018
Call for papers IJCAR 2018

SAT related books