An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.
Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer
Browse the full SAT paper archive.
Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer
Browse the full SAT paper archive.