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]

Abstract

Abstract is missing.

runs on