Talk:Constraint composite graph

Latest comment: 5 years ago by Jackzhp in topic Universal procedure

Universal procedure edit

is there any universal procedure to turn a constrained combination satisfiability problem into an algebraic satisfiability problem? Jackzhp (talk) 16:33, 30 September 2018 (UTC)Reply