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.

Computing Optimal Decision Sets with SAT

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic. Computing Optimal Decision Sets with SAT. In Helmut Simonis, editor, Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings. Volume 12333 of Lecture Notes in Computer Science, pages 952-970, Springer, 2020. [doi]

Authors

Jinqiang Yu

This author has not been identified. Look up 'Jinqiang Yu' in Google

Alexey Ignatiev

This author has not been identified. Look up 'Alexey Ignatiev' in Google

Peter J. Stuckey

This author has not been identified. Look up 'Peter J. Stuckey' in Google

Pierre Le Bodic

This author has not been identified. Look up 'Pierre Le Bodic' in Google
runs on