Tesis doctoral de Carlos José Ansótegui Gil
Sats is formally defined as the problem of deciding the satisfiability of a class of many-valued clausal forms called signed cnf formulas (s-formulas). an s-formula is a classical propositional conjunctive clause form based on a generalised notion of literal, called s-literal. Given a domain n
Datos académicos de la tesis doctoral «Complete sat solvers for many-valued cnf formulas«
- Título de la tesis: Complete sat solvers for many-valued cnf formulas
- Autor: Carlos José Ansótegui Gil
- Universidad: Lleida
- Fecha de lectura de la tesis: 09/07/2004
Dirección y tribunal
- Director de la tesis
- Felip ManyÁ Serres
- Tribunal
- Presidente del tribunal: reiner Hí¤hnle
- carla Gomes (vocal)
- cesar Fernandez camon (vocal)
- min Li chu (vocal)