Statistical physics analysis of the computational complexity of solving random satisfiability problems using backtrack algorithms

Uložené v:
Podrobná bibliografia
Vydané v:The European physical journal. B, Condensed matter physics Ročník 22; číslo 4; s. 505 - 531
Hlavní autori: Cocco, S., Monasson, R.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Les Ulis Springer 01.08.2001
Berlin EDP sciences
Predmet:
Applied sciences
Computational methods in statistical physics and nonlinear dynamics
Computer science; control theory; systems
Exact sciences and technology
Physics
Statistical physics, thermodynamics, and nonlinear dynamical systems
Theoretical computing
Thermodynamics
Statistical analysis
Random processes
Nonlinear dynamical systems
Computational complexity
Phase transitions
Calculation methods
Computer science
Backtracking
Thermodynamics
Algorithms
Renormalization theory
Modelling
Satisfiability problem
Growth factors
ISSN:1434-6028
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
ISSN:1434-6028
DOI:10.1007/s100510170101