External Links

Cite Key

Statistics

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

PDF

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.

From Set Constraint Models to SAT Instances

Frédéric Lardeux, Eric Monfroy. From Set Constraint Models to SAT Instances. In 28th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2016, San Jose, CA, USA, November 6-8, 2016. pages 231-238, IEEE Computer Society, 2016. [doi]

Authors

Frédéric Lardeux

This author has not been identified. Look up 'Frédéric Lardeux' in Google

Eric Monfroy

This author has not been identified. Look up 'Eric Monfroy' in Google
runs on