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.

Smallest MUS Extraction with Minimal Hitting Set Dualization

Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, Joao Marques-Silva. Smallest MUS Extraction with Minimal Hitting Set Dualization. In Gilles Pesant, editor, Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings. Volume 9255 of Lecture Notes in Computer Science, pages 173-182, Springer, 2015. [doi]

Authors

Alexey Ignatiev

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

Alessandro Previti

This author has not been identified. Look up 'Alessandro Previti' in Google

Mark H. Liffiton

This author has not been identified. Look up 'Mark H. Liffiton' in Google

Joao Marques-Silva

This author has not been identified. Look up 'Joao Marques-Silva' in Google
runs on