Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/tcs/CreignouD03
AU - Creignou, Nadia
AU - Daudé, Hervé
TI - Generalized satisfiability problems: minimal elements and phase transitions.
JO - Theor. Comput. Sci.
VL - 302
IS - 1-3
SP - 417
EP - 430
PY - 2003//
DO - 10.1016/S0304-3975(02)00890-3
UR - https://doi.org/10.1016/S0304-3975(02)00890-3
ER -