Regular-SAT: A many-valued approach to solving combinatorial problems

Thumbnail Image
Date
2007
Authors
Béjar Torres, RamónBéjar Torres, Ramón - ORCID ID
Manyà Serres, Felip
Cabiscol i Teixidó, AlbaCabiscol i Teixidó, Alba - ORCID ID
Fernàndez Camon, CésarFernàndez Camon, César - ORCID ID
Gomes, Carla
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
URI
http://hdl.handle.net/10459.1/57349
DOI
https://doi.org/10.1016/j.dam.2005.10.020
Journal or Serie
Discrete Applied Mathematics, 2007, vol. 155, núm. 12, p. 1613-1626
Collections
Articles publicats (Enginyeria Informàtica i Disseny Digital)
Grup de Recerca en Energia i Intel·ligència Artificial (GREiA) (INSPIRES)
Publicacions de projectes de recerca del Plan Nacional