A sharp threshold for the renameable-Horn and the q-Horn properties.

Nadia Creignou Hervé Daudé John V. Franco A sharp threshold for the renameable-Horn and the q-Horn properties. 48-57 2005 153 Discret. Appl. Math. 1-3 https://doi.org/10.1016/j.dam.2005.05.005 db/journals/dam/dam153.html#CreignouDF05