Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
Extending the Reach of SAT with Many-Valued Logics
ICST, 2001.
@article{SAT-2001-BejarCFMG,
author = "Ramón Béjar and Alba Cabiscol and Cèsar Fernández and Felip Manyà and Carla P. Gomes",
doi = "10.1016/S1571-0653(04)00336-1",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "392--407",
title = "{Extending the Reach of SAT with Many-Valued Logics}",
volume = 9,
year = 2001,
}