SAT's topology
Date: Mon, 15 Dec 2003 14:37:59 +0100
Hi,
in order to study the topology of a SAT formula, what is the best way to
represent SAT as a graph?
Does the reduction to a well-know graph problem can be effective?
nico
--
ntroquard_!!nOSpam!!@voila.fr
Relevant Pages
- Four papers published by Geometric & Topology Publications
... Four papers have been published by Geometry & Topology Publications ... Labeled binary planar trees and quasi-Lie algebras ... A cylindrical reformulation of Heegaard Floer homology ... regular right-angled building associated to a graph product of finite ... (sci.math.research) - Re: an ingenius problem ...
... Each line in the graph passes through exactly 5 of the points in ... the ray starting at the center of the circle set. ... dimensionless, i.e. the fewest triangles? ... location itself is undedfinable in topology. ... (sci.physics) - Re: an ingenius problem ...
... Each line in the graph passes through exactly 5 of the points in ... the ray starting at the center of the circle set. ... dimensionless, i.e. the fewest triangles? ... location itself is undedfinable in topology. ... (sci.physics) - Re: an ingenius problem ...
... Each line in the graph passes through exactly 5 of the points in ... the ray starting at the center of the circle set. ... location itself is undedfinable in topology. ... very difficult because geometric analogy fails. ... (sci.physics) - Re: an ingenius problem ...
... Each line in the graph passes through exactly 5 of the points in ... the ray starting at the center of the circle set. ... and a basic topology is the correct interpretation.- Hide quoted text - ... must be all one dimensional effect. ... (sci.physics) |
|