Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)
All the disappointing news comes in this chapter: even for a very restricted subset of DC formulas, it is undecidable whether a formula in the subset is satisfiable.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 2004