Extending the Reach of SAT with Many-Valued Logics
Loading...
Date
2001
Authors
Béjar Torres, Ramón
Cabiscol i Teixidó, Alba
Fernàndez Camon, César
Manyà Serres, Felip
Gomes, Carla
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Electronic Notes in Discrete Mathematics, 2001, vol. 9, p. 392-407