@InProceedings{AGM+-14-2,
title = {Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT},
booktitle = {26th International Conference on Tools with Artificial Intelligence (ICTAI'14)},
pages = {446-452},
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},
}