Phase transitions of EXPSPACE-complete problems
From MaRDI portal
(Redirected from Publication:3069746)
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Recommendations
- Phase transitions of EXPSPACE-complete problems: a further step
- Phase transitions of contingent planning problem
- Complexity-theoretic models of phase transitions in search problems
- scientific article; zbMATH DE number 67474
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
Cites work
- scientific article; zbMATH DE number 4205985 (Why is no real title available?)
- scientific article; zbMATH DE number 5542185 (Why is no real title available?)
- Approximating the unsatisfiability threshold of random formulas
- Random MAX SAT, random MAX CUT, and their phase transitions
- Sharp thresholds of graph properties, and the k-sat problem
- Task decomposition on abstract states, for planning under nondeterminism
- The TSP phase transition
Cited in
(8)- Phase transitions of EXPSPACE-complete problems: a further step
- Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems
- Typical case complexity and phase transitions. Papers from the workshop, Ottawa, ON, Canada, May 14--16, 2003
- Structural attack to anonymous graph of social networks
- Phase transitions of contingent planning problem
- An upper (lower) bound for Max (Min) CSP
- Phase Transition for Maximum Not-All-Equal Satisfiability
- Phase transitions of PP-complete satisfiability problems
This page was built for publication: Phase transitions of EXPSPACE-complete problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069746)
