Geometric secluded paths and planar satisfiability.
Valentin PolishchukLeonid SedovRoman VoronovPublished in: CoRR (2019)
Keyphrases
- geometric shapes
- satisfiability problem
- np complete
- shortest path
- phase transition
- geometric constraints
- geometric information
- geometric structure
- planar surfaces
- terminological reasoning
- satisfiability testing
- projective geometry
- propositional logic
- knowledge representation
- image sequences
- path finding
- path length
- geometric transformations
- computational complexity
- sat encodings
- neural network