Asín, Roberto; Bezem, Marc; Nieuwenhuis, Robert Improving IntSat by expressing disjunctions of bounds as linear constraints. (English) Zbl 1373.68370 AI Commun. 29, No. 1, 205-209 (2016). MSC: 68T20 68T05 90C10 PDFBibTeX XMLCite \textit{R. Asín} et al., AI Commun. 29, No. 1, 205--209 (2016; Zbl 1373.68370) Full Text: DOI
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao Algorithms for computing backbones of propositional formulae. (English) Zbl 1373.68379 AI Commun. 28, No. 2, 161-177 (2015). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Janota} et al., AI Commun. 28, No. 2, 161--177 (2015; Zbl 1373.68379) Full Text: DOI