The complexity of equivalence, entailment, and minimization in existential positive logic

Abstract

Full Citation:

Simone Bova, Hubie Chen. The complexity of equivalence, entailment, and minimization in existential positive logic. Journal of Computer and System Sciences, volume 81, number AC-TR-15-007, pages 443-457, 2015.

Jiehua Chen

Jiehua Chen is a Assistant Professor at the Algorithms and Complexity Group.