Universality of the SAT-UNSAT (jamming) threshold in non-convex continuous constraint satisfaction problems
Random constraint satisfaction problems (CSP) have been studied extensively using statistical physics techniques. They provide a benchmark to study average case scenarios instead of the worst case one. The interplay between statistical physics of disordered systems and computer science has brough...
Main Author: | Silvio Franz, Giorgio Parisi, Maksim Sevelev, Pierfrancesco Urbani, Francesco Zamponi |
---|---|
Format: | Article |
Language: | English |
Published: |
SciPost
2017-06-01
|
Series: | SciPost Physics |
Online Access: | https://scipost.org/SciPostPhys.2.3.019 |
Similar Items
-
Phase diagram, jamming and glass transitions in the non-convex perceptron
by: Sevelev, Maxime
Published: (2017) -
Determinism in the Certification of UNSAT Proofs
by: Tomer Libal, et al.
Published: (2017-12-01) -
Death House Desiderata: A Hunger for Justice, Unsated
by: Robert Johnson, et al.
Published: (2014-04-01) -
Kinetic study on epoxy/unsat'd polyester IPN
by: ZHANG, RUI-ZHE, et al.
Published: (1988) -
A jam-resistant CubeSat communications architecture
by: Ziegler, Caleb Kevin
Published: (2017)