On Stronger Calculi for QBFs (Q2818031)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	On Stronger Calculi for QBFs	scientific article

Statements

scholarly article

0 references

On Stronger Calculi for QBFs (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-319-40970-2_26

0 references

0 references

Theory and Applications of Satisfiability Testing – SAT 2016

0 references

publication date

5 September 2016

0 references

full work available at URL

https://arxiv.org/abs/1604.06483

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

0 references

Unified QBF certification and its applications

0 references

QBF Resolution Systems and Their Proof Complexities

0 references

On Unification of QBF Resolution-Based Calculi

0 references

0 references

Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\)

0 references

0 references

On Sequent Systems and Resolution for QBFs

0 references

On Stronger Calculi for QBFs

0 references

A solver for QBFs in negation normal form

0 references

Contributions to the Theory of Practical Quantified Boolean Formula Solving

0 references

The intractability of resolution

0 references

Resolution for quantified Boolean formulas

0 references

0 references

A structure-preserving clause form translation

0 references

Variable Dependencies and Q-Resolution

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2818031

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2818031&oldid=36271491"