"Complexity of Generalized Satisfiability Counting Problems."

Nadia Creignou, Miki Hermann (1996)

Details and statistics

DOI: 10.1006/INCO.1996.0016

access: open

type: Journal Article

metadata version: 2021-02-12