@InProceedings{AGM+-14-1,
title = {About Some UP-Based Polynomial Fragments of SAT},
booktitle = {International Symposium on Artificial Intelligence and Mathematics(ISAIM'14)},
author = {Al-Saedi, Mohammad and Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {2014},
month = {jan},
address = {Fort Lauderdale, FL, USA},
abstract = {In this paper, we extend one Tovey?s polynomial fragment of SAT through the use of the unit propagation mechanism. We also answer an open question about connections between the UP-Horn class (and other UP-based polynomial variants) and Dalal?s polynomial Quad class, for which unit propagation is a cornerstone. },
}