works on
algorithm design 1bounded variable occurrence 1color structures 1complexity dichotomy 1monotone sat 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.CC2026

Color Structures and the Monotone Satisfiability Problem with Bounded Variable Occurrence

Hannah Van Santvliet, Ronald de Haan

The paper investigates a restricted monotone 3‑SAT variant where each variable appears at most k times positively and exactly once negatively, and proves that for k = 3 or 4 every…