Complexity of Generalized Satisfiability Counting Problems

Publisher Website

1 February 1996

journal article
research article
Published by Elsevier in Information and Computation

Vol. 125 (1) , 1-12
https://doi.org/10.1006/inco.1996.0016

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

The complexity of satisfiability problems
Published by Association for Computing Machinery (ACM) ,1978
The complexity of theorem-proving procedures
Published by Association for Computing Machinery (ACM) ,1971
On sentences which are true of direct unions of algebras
The Journal of Symbolic Logic, 1951