) and a proof-search strategy for the focused sequent calculus, Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, LFMTP '13, 2013. ,
DOI : 10.1145/2503887.2503892
Two simulations about DPLL(T) Technical report, Laboratoire d'informatique de l'École Polytechnique -CNRS, p.44 ,
Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4747-4768, 2009. ,
DOI : 10.1016/j.tcs.2009.07.041
Solving SAT and SAT Modulo Theories, Journal of the ACM, vol.53, issue.6, pp.937-977, 2006. ,
DOI : 10.1145/1217856.1217859