Keyword:experiments

Publications
A Problem Meta-Data Library for Research in SAT Markus Iser and Carsten Sinz In:Proceedings of Pragmatics of SAT 2015 and 2018
HOL Provers for First-order Modal Logics --- Experiments Christoph Benzmüller In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics