New algorithms for Exact Satisfiability

The Exact Satisfiability problem is to determine if a CNF-formula has a truth assignment satisfying exactly one literal in each clause; Exact 3-Satisfiability is the version in which each clause contains at most three literals. In this paper, we present algorithms for Exact Satisfiability and Exact...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 332; číslo 1; s. 515 - 541
Hlavní autoři:	Byskov, Jesper Makholm, Madsen, Bolette Ammitzbøll, Skjernaa, Bjarke
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 28.02.2005 Elsevier
Témata:	Algorithmics. Computability. Computer arithmetics Applied sciences Branch-and-reduce algorithm Computer science; control theory; systems Exact 3-Satisfiability Exact Satisfiability Exact sciences and technology Exact solution Exponential-time algorithm Theoretical computing Exponential-time algorithm Exact Satisfiability Branch-and-reduce algorithm Exact 3-Satisfiability Exact solution Assignment Computer theory Satisfiability problem Algorithm Exponential time algorithm
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!