Extending the Reach of SAT with Many-Valued Logics
Ramón Bejar, Alba Cabiscol, Cesar Fernández, Felip Manyà, Carla GomesVolume:
9
Year:
2001
Language:
english
Pages:
16
DOI:
10.1016/s1571-0653(04)00336-1
File:
PDF, 197 KB
english, 2001