Regular-SAT: A many-valued approach to solving combinatorial problems
Ramón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernàndez, Carla GomesVolume:
155
Year:
2007
Language:
english
Pages:
14
DOI:
10.1016/j.dam.2005.10.020
File:
PDF, 411 KB
english, 2007