PAAR - 2012 Third Workshop on Practical Aspects of Automated Reasoning

Abstract

SAT solving techniques are used in many automated reasoning engines. This talk gives an overview on recent developments in practical aspects of SAT solver development. Beside improvements of the basic conflict driven clause learning (CDCL) algorithm, we also discuss improving and integrating advanced preprocessing techniques as inprocessing during search. The talk concludes with a brief overview on current trends in parallelizing SAT. Pascal Fontaine, Renate Schmidt, Stephan Schulz (eds.); PAAR 2012, pp. 1–1 1 Building an Efficient OWL 2 DL Reasoner Boris Motik University of Oxford

Cite this paper

@inproceedings{Baumgartner2012PAAR2, title={PAAR - 2012 Third Workshop on Practical Aspects of Automated Reasoning}, author={Peter M Baumgartner}, year={2012} }