Regular-SAT: A many-valued approach to solving combinatorial problems
- Béjar, R.
- Manyà, F.
- Cabiscol, A.
- Fernàndez, C.
- Gomes, C.
ISSN: 0166-218X
Any de publicació: 2007
Volum: 155
Número: 12
Pàgines: 1613-1626
Tipus: Article
ISSN: 0166-218X
Any de publicació: 2007
Volum: 155
Número: 12
Pàgines: 1613-1626
Tipus: Article