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.

SAT-Based Formula Simplification

Alexey Ignatiev, Alessandro Previti, Joao Marques-Silva. SAT-Based Formula Simplification. In Marijn Heule, Sean Weaver, editors, Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. Volume 9340 of Lecture Notes in Computer Science, pages 287-298, Springer, 2015. [doi]

Authors

Alexey Ignatiev

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

Alessandro Previti

This author has not been identified. Look up 'Alessandro Previti' in Google

Joao Marques-Silva

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