Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Miroslav N. Velev
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Related publications
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
Nonmonotonic Reasoning With Quantified Boolean Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Pattern Backtracking Algorithm for the Workflow Satisfiability Problem With User-Independent Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment
Theoretical Computer Science
Computer Science
Theoretical Computer Science
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
