You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (5)

Journals (0)

1-5 of 5 results for QBF competition

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games

Open access

Research article

First published 2014-6

QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games

Mikoláš Janota, Charles Jordan, Will Klieber [...]

Journal on Satisfiability,Boolean Modelling and Computation

Select article: CAQE and QuAbS: Abstraction Based QBF Solvers

Open access

Research article

First published 2019-6

CAQE and QuAbS: Abstraction Based QBF Solvers

Leander Tentrup

Journal on Satisfiability,Boolean Modelling and Computation

Select article: Report of the Third QBF Solvers Evaluation 1

Open access

Research article

First published 2006-2

Report of the Third QBF Solvers Evaluation 1

Massimo Narizzano, Luca Pulina, Armando Tacchella

Journal on Satisfiability,Boolean Modelling and Computation

Select article: QBFRelay,QRATPre+,and DepQBF : Incremental Preprocessing Meets Search-Based QBF Solving

Open access

Research article

First published 2019-6

QBFRelay,QRATPre+,and DepQBF : Incremental Preprocessing Meets Search-Based QBF Solving

Florian Lonsing

Journal on Satisfiability,Boolean Modelling and Computation

Select article: Expansion-based QBF Solving on Tree Decompositions *

Retricted access

Research article

First published 2019

Expansion-based QBF Solving on Tree Decompositions *

Günther Charwat, Stefan Woltran

Fundamenta Informaticae

1
10 / page

Article type

Publication date

Subjects

Access