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.

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form

Saïd Jabbour, Joao Marques-Silva, Lakhdar Sais, Yakoub Salhi. Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. In Eduardo Fermé, João Leite, editors, Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. Volume 8761 of Lecture Notes in Computer Science, pages 152-165, Springer, 2014. [doi]

Authors

Saïd Jabbour

This author has not been identified. Look up 'Saïd Jabbour' in Google

Joao Marques-Silva

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

Lakhdar Sais

This author has not been identified. Look up 'Lakhdar Sais' in Google

Yakoub Salhi

This author has not been identified. Look up 'Yakoub Salhi' in Google
runs on