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 Clause Tableau Calculus for MinSAT

Chu Min Li, Felip Manyà, Joan Ramon Soler. A Clause Tableau Calculus for MinSAT. In Àngela Nebot, Xavier Binefa, Ramon López de Mántaras, editors, Artificial Intelligence Research and Development - Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016. Volume 288 of Frontiers in Artificial Intelligence and Applications, pages 88-97, IOS Press, 2016. [doi]

Authors

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

Joan Ramon Soler

This author has not been identified. Look up 'Joan Ramon Soler' in Google
runs on