collaborators

1 paper

cs.CC2023

Color Structures and the Monotone Satisfiability Problem with Bounded Variable Occurrence

Hannah Van Santvliet, Ronald de Haan

We study \textsc{Monotone 3-Sat-}, a restricted variant of the \textsc{Satisfiability} problem where clauses consist of three variables and are monotone (every clause c…