Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marko Samer
Backdoor Sets of Quantified Boolean Formulas
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
Propositional PSPACE Reasoning With Boolean Programs Versus Quantified Boolean Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
Proceedings of the AAAI Conference on Artificial Intelligence
Nonmonotonic Reasoning With Quantified Boolean Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning and Verifying Quantified Boolean Queries by Example
Index Sets and Boolean Operations
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical
Backdoor
Datenschutz und Datensicherheit - DuD
Interpolative Boolean Algebra for Generalizations of Intuitionistic Fuzzy Sets
Hard and Soft Preparation Sets in Boolean Games
Studia Logica
Philosophy of Science
Logic
History
