Handbook of satisfiability /

Mostrar otras versiones (1)

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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Biere, Armin
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, DC : IOS Press, ©2009.
Colección:Frontiers in artificial intelligence and applications ; v. 185.
Temas:
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
Acceso en línea:Texto completo
Descripción
Sumario:A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Descripción Física:1 online resource (xiii, 966 pages) : illustrations
Bibliografía:Includes bibliographical references and indexes.
ISBN:9781441616784
1441616780
9781607503767
160750376X
6000014392
9786000014391
ISSN:0922-6389 ;

Ejemplares similares