Generalized satisfiability problems: minimal elements and phase transitions

Nadia Creignou, Hervé Daudé. Generalized satisfiability problems: minimal elements and phase transitions. Theoretical Computer Science, 302(1-3):417-430, 2003. [doi]

Abstract

Abstract is missing.