(Q51614311)

8 April 2018

title

Numerical solution-space analysis of satisfiability problems. (English)

1 reference

8 April 2018

author name string

Alexander Mann

series ordinal

1

1 reference

8 April 2018

A K Hartmann

series ordinal

2

1 reference

8 April 2018

language of work or name

English

0 references

publication date

3 November 2010

1 reference

8 April 2018

published in

Physical Review E

1 reference

8 April 2018

volume

82

1 reference

8 April 2018

issue

5 Pt 2

1 reference

8 April 2018

page(s)

056702

1 reference

8 April 2018

Computational complexity for physicists

cites work

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Critical behavior in the satisfiability of random boolean expressions.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Gibbs states and the set of solutions of random constraint satisfaction problems.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Communities of solutions in single solution clusters of a random K-satisfiability formula.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Random K-satisfiability problem: from an analytic solution to an efficient algorithm.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Analytic and algorithmic solution of random satisfiability problems.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Landscape analysis of constraint satisfaction problems.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Phase transitions in the coloring of random graphs.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Locked constraint satisfaction problems.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Circumspect descent prevails in solving random constraint satisfaction problems.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

A machine program for theorem-proving

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Chapter 2 Satisfiability Solvers

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Trajectories in phase diagrams, growth processes, and computational complexity: how search algorithms solve the 3-satisfiability problem.

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Hierarchical Grouping to Optimize an Objective Function

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Phase Transitions in Combinatorial Optimization Problems

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

Number of Guards Needed by a Museum: A Phase Transition in Vertex Covering of Random Graphs

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

A variational description of the ground state structure in random satisfiability problems

21 January 2018

1 reference

https://api.crossref.org/works/10.1103%2FPHYSREVE.82.056702

10.1103/PHYSREVE.82.056702

21 January 2018

Identifiers

DOI

1 reference

8 April 2018

0 references

1 reference

1 reference

8 April 2018