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

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares