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.

Towards an Efficient Library for SAT: a Manifesto

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi. Towards an Efficient Library for SAT: a Manifesto. Electronic Notes in Discrete Mathematics, 9:290-310, 2001. [doi]

Authors

Enrico Giunchiglia

This author has not been identified. Look up 'Enrico Giunchiglia' in Google

Massimo Narizzano

This author has not been identified. Look up 'Massimo Narizzano' in Google

Armando Tacchella

This author has not been identified. Look up 'Armando Tacchella' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google
runs on