Daniel Le Berre. Autour de SAT : le calcul d'impliquants P-restreints, algorithmes et applications. (Beyond SAT: P-restricted implicant, algorithms and applications). PhD thesis, Paul Sabatier University, Toulouse, France, 2000. [doi]
@phdthesis{hal-14470,
title = {Autour de SAT : le calcul d'impliquants P-restreints, algorithmes et applications. (Beyond SAT: P-restricted implicant, algorithms and applications)},
author = {Daniel Le Berre},
year = {2000},
url = {https://tel.archives-ouvertes.fr/tel-02881946},
researchr = {https://researchr.org/publication/hal-14470},
cites = {0},
citedby = {0},
school = {Paul Sabatier University, Toulouse, France},
}