Handbook of satisfiability /

Afficher d'autres versions (1)

A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.

Détails bibliographiques
Cote:Libro Electrónico
Autres auteurs: Biere, Armin
Format: Électronique eBook
Langue:Inglés
Publié: Amsterdam ; Washington, DC : IOS Press, ©2009.
Collection:Frontiers in artificial intelligence and applications ; v. 185.
Sujets:
Propositional calculus > Congresses.
Decision making > Congresses.
Computer algorithms > Congresses.
Algebra, Boolean > Congresses.
Calcul propositionnel > Congrès.
Prise de décision > Congrès.
Algorithmes > Congrès.
Algèbre de Boole > Congrès.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Algebra, Boolean
Computer algorithms
Decision making
Propositional calculus
Algorithmus
Anwendung
Berechnungskomplexität
Erfüllbarkeitsproblem
Conference papers and proceedings
Accès en ligne:Texto completo
Description
Résumé:A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Description matérielle:1 online resource (xiii, 966 pages) : illustrations
Bibliographie:Includes bibliographical references and indexes.
ISBN:9781441616784
1441616780
9781607503767
160750376X
6000014392
9786000014391
ISSN:0922-6389 ;

Documents similaires