On simplified NP-complete variants of Monotone <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e23" altimg="si14.svg"><mml:mn>3</mml:mn></mml:math> -Sat
Andreas Darmann, Janosch Döcker
Topics & Concepts
Monotone polygonMathematicsCombinatoricsSatisfiabilityVariable (mathematics)Boolean satisfiability problemDiscrete mathematicsMathematical analysisGeometryMachine Learning and AlgorithmsFormal Methods in Verificationsemigroups and automata theory