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.

Propositional proof systems based on maximum satisfiability

Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado, João Marques-Silva 0001. Propositional proof systems based on maximum satisfiability. Artificial Intelligence, 300:103552, 2021. [doi]

Authors

Maria Luisa Bonet

This author has not been identified. Look up 'Maria Luisa Bonet' in Google

Sam Buss

This author has not been identified. Look up 'Sam Buss' in Google

Alexey Ignatiev

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

António Morgado

This author has not been identified. Look up 'António Morgado' in Google

João Marques-Silva 0001

This author has not been identified. Look up 'João Marques-Silva 0001' in Google
runs on