Computational aspects of monotone dualization: A brief survey

Dualization of a monotone Boolean function represented by a conjunctive normal form (CNF) is a problem which, in different disguise, is ubiquitous in many areas including Computer Science, Artificial Intelligence, and Game Theory to mention some of them. It is also one of the few problems whose prec...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Discrete Applied Mathematics Ročník 156; číslo 11; s. 2035 - 2049
Hlavní autori:	Eiter, Thomas, Makino, Kazuhisa, Gottlob, Georg
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Lausanne Elsevier B.V 06.06.2008 Amsterdam Elsevier New York, NY
Predmet:	Algorithmics. Computability. Computer arithmetics Applied sciences Artificial intelligence Combinatorial enumeration Combinatorics Combinatorics. Ordered structures Computer science; control theory; systems Dualization Exact sciences and technology Graph theory Hitting sets Hypergraphs Independent sets Limited nondeterminism Mathematics Monotone Boolean functions Order, lattices, ordered algebraic structures Output-polynomial algorithms Polynomial-total time Quasi-polynomial time Sciences and techniques of general use Self-duality Set coverings Theoretical computing Transversals Set coverings Hitting sets Transversals Dualization Monotone Boolean functions Combinatorial enumeration Self-duality Independent sets Polynomial-total time Limited nondeterminism Quasi-polynomial time Hypergraphs Output-polynomial algorithms Hypergraph Duality Research Implementation Non determinism Optimization Complexity Independent set Set covering Combinatorics Learning algorithm Monotonic function Enumeration Computer theory Boolean function Computer games Game theory Polynomial time Survey Experimental result Area Parallel computation Artificial intelligence Solvability
ISSN:	0166-218X, 1872-6771
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!