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.

Improving SAT Solver Efficiency Using a Multi-Core Approach

Ricardo Marques, Luis G. Silva, Paulo F. Flores, L. Miguel Silveira. Improving SAT Solver Efficiency Using a Multi-Core Approach. In Chutima Boonthum-Denecke, G. Michael Youngblood, editors, Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013, St. Pete Beach, Florida. May 22-24, 2013. AAAI Press, 2013. [doi]

Authors

Ricardo Marques

This author has not been identified. Look up 'Ricardo Marques' in Google

Luis G. Silva

This author has not been identified. Look up 'Luis G. Silva' in Google

Paulo F. Flores

This author has not been identified. Look up 'Paulo F. Flores' in Google

L. Miguel Silveira

This author has not been identified. Look up 'L. Miguel Silveira' in Google
runs on