Year of publication
Type of material
Licence
Language
1–20 of 62 hits
Sort by:
Sort by:
-
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Free accessOnline Contents | 2021|Keywords: Quantified Boolean formulas -
Soundness of Q-resolution with dependency schemes
Elsevier | 2015|Keywords: Quantified Boolean formulas -
On the Exact Complexity of Evaluating Quantified k-CNF
Online Contents | 2012|Keywords: Quantified Boolean formulas -
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF
Free accessOnline Contents | 2018|Keywords: Quantified Boolean formulas -
Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs
Free accessDataCite | 2018|Keywords: quantified Boolean formulas -
On the Exact Complexity of Evaluating Quantified k-CNF
Online Contents | 2012|Keywords: Quantified Boolean formulas -
An upper bound for the circuit complexity of existentially quantified Boolean formulas
Elsevier | 2010|Keywords: Quantified Boolean formulas -
Reasoning in abstract dialectical frameworks using quantified Boolean formulas
Free accessIOS Press | 2015|Keywords: quantified Boolean formulas -
Level-ordered Q-resolution and tree-like Q-resolution are incomparable
Elsevier | 2015|Keywords: Quantified Boolean formulas (QBF) -
Reasons for Hardness in QBF Proof Systems
Free accessDataCite | 2018|Keywords: quantified Boolean formulas -
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF
Online Contents | 2018|Keywords: Quantified Boolean formulas -
Reasoning in abstract dialectical frameworks using quantified Boolean formulas
Online Contents | 2015|Keywords: quantified Boolean formulas -
A self-adaptive multi-engine solver for quantified Boolean formulas
Online Contents | 2008|Keywords: Quantified Boolean formulas -
A self-adaptive multi-engine solver for quantified Boolean formulas
Online Contents | 2008|Keywords: Quantified Boolean formulas -
Lower Bound Techniques for QBF Proof Systems
Free accessDataCite | 2018|Keywords: Quantified Boolean formulas -
Conformant planning as a case study of incremental QBF solving
Free accessOnline Contents | 2016|Keywords: Quantified Boolean formulas (QBFs) -
Stable-unstable semantics: Beyond NP with normal logic programs
Online Contents | 2016|Keywords: quantified Boolean formulas -
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas
Springer Verlag | 2022|Keywords: Quantified boolean formulas
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.