Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Heinz Riener
Boolean Satisfiability in Quantum Compilation
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
SMT-Based CPS Parameter Synthesis
Related publications
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability
On Generic Np-Completeness of the Boolean Satisfiability Problem
Prikladnaya Diskretnaya Matematika
Signal Processing
Combinatorics
Applied Mathematics
Mathematics
Discrete Mathematics
Computational Theory
Theoretical Computer Science
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
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
Symmetry Detection for Large Boolean Functions Using Circuit Representation, Simulation, and Satisfiability
Proceedings - Design Automation Conference
Control
Systems Engineering
Electronic Engineering
Simulation
Hardware
Computer Science Applications
Electrical
Architecture
Modeling
Quantum Identification of Boolean Oracles
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Classical and Quantum Annealing in the Median of Three-Satisfiability
Physical Review A
