Design and implementation of exact MAX-SAT solvers
The Propositional Satisfiability Problem (SAT) is the problem of determining whether a truth assignment satisfies a CNF formula. Nowadays, many hard combinatorial problems such as practical verification problems in hardware and software can be solved efficiently by encoding them into SAT. In this th...
| Autor principal: | |
|---|---|
| Formato: | Tesis |
| Idioma: | Inglés |
| Publicado: |
Bellaterra :
Consejo Superior de Investigaciones Científicas
2008.
|
| Colección: | Monografies del l'Institut d'Investigació en Intel·ligència Artificial
|
| Materias: | |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b33064192*spi |
