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.

Subsumed Label Elimination for Maximum Satisfiability

Jeremias Berg, Paul Saikko, Matti Järvisalo. Subsumed Label Elimination for Maximum Satisfiability. In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, editors, ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). Volume 285 of Frontiers in Artificial Intelligence and Applications, pages 630-638, IOS Press, 2016. [doi]

Authors

Jeremias Berg

This author has not been identified. Look up 'Jeremias Berg' in Google

Paul Saikko

This author has not been identified. Look up 'Paul Saikko' in Google

Matti Järvisalo

This author has not been identified. Look up 'Matti Järvisalo' in Google
runs on