Recent news about SAT for tag QBF

• Mar 17, 2023  CFP - QBF Gallery 2023 by Luca Pulina CFP  Deadline  QBF 

  The QBF Gallery 2023 invites submissions of QBF solvers (PCNF as well as non-PCNF and DQBF solvers), related tools like preprocessors as well as novel benchmark instances to challenge current solvers (in particular, the publicly available solvers of the last QBFEval events).

• Mar 14, 2022  CFP - 9th 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.

• May 7, 2021  CFP - 8th 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.

• Jan 26, 2021  Handbook of Satisfiability (2nd Edition) by Armin Biere SAT  SMT  QBF  PBO 

  The second edition of the Handbook of Satisfiability is now available

• May 26, 2020  PhD Position in QBF Solving at TU Wien by Friedrich Slivovsky PhD  Position  QBF  Deadline 

  The Algorithms & Complexity group at TU Wien is looking for a PhD student in QBF solving.

• May 17, 2019  CFP (deadline extension) - 6th 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.

• Apr 25, 2019  CFP - 10th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline  QBF 

  The deadline for abstract submission has been extended to the paper submission deadline, i.e. April 29

• Apr 24, 2019  CFP - 6th 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.

• Mar 16, 2019  Pragmatics of SAT 2015 and 2018 proceedings available by Daniel Le Berre SAT  PBO  QBF 

  The proceedings of the 2015 and 2018 editions of Pragmatics of SAT workshops has just been published in Easychair Proceedings in Computing.

• 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.