New Algorithms for Exact Satisfiability

BRICS Report Series
doi 10.7146/brics.v10i30.21798
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Mixed Parallel Execution of Algorithms for Satisfiability Problem

English

Exact Algorithms for Graph Homomorphisms

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2007English

Prime Implicant Computation Using Satisfiability Algorithms

English

Exact Algorithms for Dominating Clique Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Exact Exponential-Time Algorithms for Finding Bicliques

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2010English

Lazy Functional Algorithms for Exact Real Functionals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Exact Algorithms for Multilayer Topological via Minimization

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
1989English

Grasp—A New Search Algorithm for Satisfiability

2003English

Exact Algorithms for the Equitable Traveling Salesman Problem

SSRN Electronic Journal
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy