Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tino Teige
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems With Applications to Probabilistic State Reachability and Region Stability
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
Boolean Satisfiability in Quantum Compilation
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability
Stability Region for Linear Systems With Generalized Frequency Variables
Transactions of the Society of Instrument and Control Engineers
A Stochastic Continuous Optimization Backend for MiniZinc With Applications to Geometrical Placement Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalized Random Α-Ψ-Contractive Mappings With Applications to Stochastic Differential Equation
Symmetry
Mathematics
Chemistry
Physics
Computer Science
Astronomy
