Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ralf Wimmer
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
Proceedings of the AAAI Conference on Artificial Intelligence
Taurolithocholic Acid Exerts Cholestatic Effects via Phosphatidylinositol 3-Kinase-Dependent Mechanisms in Perfused Rat Livers and Rat Hepatocyte Couplets
Journal of Biological Chemistry
Biochemistry
Cell Biology
Molecular Biology
Related publications
Propositional PSPACE Reasoning With Boolean Programs Versus Quantified Boolean Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Backdoor Sets of Quantified Boolean Formulas
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Nonmonotonic Reasoning With Quantified Boolean Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning and Verifying Quantified Boolean Queries by Example
Validating the Result of a Quantified Boolean Formula (QBF) Solver: Theory and Practice
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
Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Eigenvector Approach for Solving Nonisotropic Mixing Formulas
Radio Science
Earth
Planetary Sciences
Electrical
Condensed Matter Physics
Electronic Engineering
A New Algorithm of Boolean Function and Its Application
