External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Ramón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernández, Carla P. Gomes. Regular-SAT: A many-valued approach to solving combinatorial problems. Discrete Applied Mathematics, 155(12):1613-1626, 2007. [doi]

Authors

Ramón Béjar

This author has not been identified. Look up 'Ramón Béjar' in Google

Felip Manyà

This author has not been identified. Look up 'Felip Manyà' in Google

Alba Cabiscol

This author has not been identified. Look up 'Alba Cabiscol' in Google

Cèsar Fernández

This author has not been identified. Look up 'Cèsar Fernández' in Google

Carla P. Gomes

This author has not been identified. Look up 'Carla P. Gomes' in Google
runs on