Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on the Mixed Horn formula class (MHF), this thesis explores the SAT problem, which determines the satisfiability of CNF formulas. Highlighting MHF's significance, it connects this subclass to various NP-complete problems, such as Feedback Vertex Set and Vertex Cover. The work demonstrates that SAT remains NP-complete for certain MHF subclasses and introduces algorithms that improve upon existing time bounds. Additionally, it examines the computational complexity of variants like not-all-equal SAT and exact SAT within linear CNF formulas.
Achat du livre
Computational Complexity of SAT, XSAT and NAE-SAT, Tatjana Schmidt
- Langue
- Année de publication
- 2015
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .