Geometric Interpretation of 3-SAT and Phase Transition
Interpretation of 3-SAT as a volume filling problem, and its use to explore the SAT/UNSAT phase transition.
cs.DS↗
arXiv subjects
Frederic Gillet
Publications and source records attributed to Frederic Gillet.
Solving 3-SAT and 3-dimensional matching in polynomial time
We show how the implementation of conservative logic gates on flow networks suggests a way to solve 3SAT and 3-dimensional matching problems in polynomial time by using standard minimum-cost flow methods.
cs.DS↗