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.

A Complete Tableau Calculus for the Regular MaxSAT Problem

Jordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin. A Complete Tableau Calculus for the Regular MaxSAT Problem. In Ismael Sanz, Raquel Ros, Jordi Nin, editors, Artificial Intelligence Research and Development - Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2023, Món Sant Benet, Spain, 25-27 October 2023. Volume 375 of Frontiers in Artificial Intelligence and Applications, pages 359-368, IOS Press, 2023. [doi]

Authors

Jordi Coll

This author has not been identified. Look up 'Jordi Coll' in Google

Chu Min Li

This author has not been identified. Look up 'Chu Min Li' in Google

Felip Manyà

This author has not been identified. Look up 'Felip Manyà' in Google

Elifnaz Yangin

This author has not been identified. Look up 'Elifnaz Yangin' in Google
runs on