Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bjarke Skjernaa
New Algorithms for Exact Satisfiability
BRICS Report Series
Related publications
Mixed Parallel Execution of Algorithms for Satisfiability Problem
Exact Algorithms for Graph Homomorphisms
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Prime Implicant Computation Using Satisfiability Algorithms
Exact Algorithms for Dominating Clique Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exact Exponential-Time Algorithms for Finding Bicliques
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Lazy Functional Algorithms for Exact Real Functionals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exact Algorithms for Multilayer Topological via Minimization
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Grasp—A New Search Algorithm for Satisfiability
Exact Algorithms for the Equitable Traveling Salesman Problem
SSRN Electronic Journal
