default search action

combined dblp search
author search
venue search
publication search

ask others

QBF@SAT 2016: Bordeaux, France

> Home > Conferences and Workshops > SAT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/sat/2016qbf
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/2016qbf
Florian Lonsing, Martina Seidl:
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. CEUR Workshop Proceedings 1719, CEUR-WS.org 2016
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sat/Pulina16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Pulina16
Luca Pulina:
The Ninth QBF Solvers Evaluation - Preliminary Report. 1-13
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sat/DiptaramaYS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/DiptaramaYS16
Diptarama, Ryo Yoshinaka, Ayumi Shinohara:
QBF Encoding of Generalized Tic-Tac-Toe. 14-26
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sat/CharwatW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CharwatW16
Günther Charwat, Stefan Woltran:
Dynamic Programming-based QBF Solving. QBF@SAT 2016: 27-40
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sat/BlinkhornB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BlinkhornB16
Joshua Blinkhorn, Olaf Beyersdorff:
Dependency Schemes in QBF Calculi: Semantics and Soundness. 41-48
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sat/AmendolaDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AmendolaDR16
Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
ASPQ: An ASP-Based 2QBF Solver. 49-54
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sat/SchollP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SchollP16
Christoph Scholl, Florian Pigorsch:
The QBF Solver AIGSolve. 55-62
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sat/0001JT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/0001JT16
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
SAT-to-SAT in QBFEval 2016. 63-70

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.