|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Florian Lonsing, Martina Seidl (eds.) |
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.  |
QBF@SAT  |
2016 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina |
The Ninth QBF Solvers Evaluation - Preliminary Report. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Christoph Scholl 0001, Florian Pigorsch |
The QBF Solver AIGSolve. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi |
SAT-to-SAT in QBFEval 2016. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Joshua Blinkhorn, Olaf Beyersdorff |
Dependency Schemes in QBF Calculi: Semantics and Soundness. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Francesco Ricca |
ASPQ: An ASP-Based 2QBF Solver. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Diptarama, Ryo Yoshinaka, Ayumi Shinohara |
QBF Encoding of Generalized Tic-Tac-Toe. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Günther Charwat, Stefan Woltran |
Dynamic Programming-based QBF Solving. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license