Previous article
11 July 2010
Paper at FLoC Workshop
EMCL student Norbert Manthey presented paper at FLoC workshop.
The EMCL student Norbert Manthey presented his paper on 'Towards Improving the Resource Usage of SAT solvers' at the 'Pragmatics of SAT' workshop. This paper was written in cooperation with Ari Saptawijaya from TU Dresden, Germany.
Short abstract: The paper presents our work on cache analysis of SATsolving. The aim is to study how resources are utilized by a SAT solver and to use this knowledge to improve the resource usage in SAT-solving. The analysis is performed mainly on our CDCL-based SAT solver and additionally on MiniSAT and PrecoSAT. The measurement is conducted using sample-based pro.