activity
20062026
most citedOn the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

20 citations · 75 across the 44 of their papers we have counts for

collaborators
Showing 2013 · cs.CCShow all

1 paper · 2 filters

cs.CC2013

QCSP on partially reflexive cycles - the wavy line of tractability

Florent Madelaine, Barnaby Martin

We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over partially reflexive cycles. We obtain a complexity-theoretic dichotomy: QCSP(H) is ei…