AAAI Publications

Silva, Luis G, INESC-ID / IST - TU Lisbon, Portugal

• The Twenty-Sixth International FLAIRS Conference - General Conference Full Paper
  Improving SAT Solver Efficiency Using a Multi-Core Approach
  Abstract  PDF