Classical Generalized Probabilistic Satisfiability.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Browse the full IJCAI paper archive.