Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar What we can learn from conflicts in propositional satisfiability. (English) Zbl 1411.91118 Ann. Oper. Res. 240, No. 1, 13-37 (2016). MSC: 91A26 68W30 90C09 91-04 PDFBibTeX XMLCite \textit{Y. Hamadi} et al., Ann. Oper. Res. 240, No. 1, 13--37 (2016; Zbl 1411.91118) Full Text: DOI
Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar Deterministic parallel DPLL. (English) Zbl 1331.68208 J. Satisf. Boolean Model. Comput. 7, No. 4, 127-132 (2011). MSC: 68T20 68T15 68W10 PDFBibTeX XMLCite \textit{Y. Hamadi} et al., J. Satisf. Boolean Model. Comput. 7, No. 4, 127--132 (2011; Zbl 1331.68208)