Q5148942 (Q5148942): Difference between revisions

@@ Property / describes a project that uses @@
+Glucose
@@ Property / describes a project that uses: Glucose / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604010
@@ Property / cites work: Q3604010 / rank @@
+Normal rank
@@ Property / cites work @@
+Paley graphs satisfy all first-order adjacency axioms
+Normal rank
@@ Property / cites work @@
+Percolation on dense graph sequences
@@ Property / cites work: Percolation on dense graph sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Survey propagation: An algorithm for satisfiability
+Normal rank
@@ Property / cites work @@
+Q5687265
@@ Property / cites work: Q5687265 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-random graphs
@@ Property / cites work: Quasi-random graphs / rank @@
+Normal rank
@@ Property / cites work @@
+SAT distributions with planted assignments and phase transitions between decision and optimization problems
+Normal rank
@@ Property / cites work @@
+Probability
@@ Property / cites work: Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Vertex-switching, isomorphism, and pseudosimilarity
+Normal rank
@@ Property / cites work @@
+Q2896045
@@ Property / cites work: Q2896045 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Random Satisfiability Problems with Planted Solutions
+Normal rank
@@ Property / cites work @@
+Q5821624
@@ Property / cites work: Q5821624 / rank @@
+Normal rank
@@ Property / cites work @@
+Training restricted Boltzmann machines: an introduction
+Normal rank
@@ Property / cites work @@
+Stochastic gradient boosting.
@@ Property / cites work: Stochastic gradient boosting. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779782
@@ Property / cites work: Q4779782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5722600
@@ Property / cites work: Q5722600 / rank @@
+Normal rank
@@ Property / cites work @@
+Training Products of Experts by Minimizing Contrastive Divergence
+Normal rank
@@ Property / cites work @@
+Statistical mechanics, three-dimensionality and NP-completeness
+Normal rank
@@ Property / cites work @@
+Finding All the Elementary Circuits of a Directed Graph
+Normal rank
@@ Property / cites work @@
+Optimization by Simulated Annealing
@@ Property / cites work: Optimization by Simulated Annealing / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Solving random satisfiable 3CNF formulas in expected polynomial time
+Normal rank
@@ Property / cites work @@
+On Information and Sufficiency
@@ Property / cites work: On Information and Sufficiency / rank @@
+Normal rank
@@ Property / cites work @@
+Contribution to the Discussion of the Paper ‘Geodesic Monte Carlo on Embedded Manifolds’
+Normal rank
@@ Property / cites work @@
+Statistical Theory of Equations of State and Phase Transitions. II. Lattice Gas and Ising Model
+Normal rank
@@ Property / cites work @@
+Q4737518
@@ Property / cites work: Q4737518 / rank @@
+Normal rank
@@ Property / cites work @@
+Open-WBO: A Modular MaxSAT Solver,
@@ Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank @@
+Normal rank
@@ Property / cites work @@
+On Algorithms for Enumerating All Circuits of a Graph
+Normal rank
@@ Property / cites work @@
+Information, Physics, and Computation
@@ Property / cites work: Information, Physics, and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+An algorithm for finding a fundamental set of cycles of a graph
+Normal rank
@@ Property / cites work @@
+The Relation Between Complete and Incomplete Search
+Normal rank
@@ Property / cites work @@
+Q3290875
@@ Property / cites work: Q3290875 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized darting Monte Carlo
@@ Property / cites work: Generalized darting Monte Carlo / rank @@
+Normal rank
@@ Property / cites work @@
+Q3799811
@@ Property / cites work: Q3799811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2934103
@@ Property / cites work: Q2934103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4706482
@@ Property / cites work: Q4706482 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of the Elementary Circuits of a Directed Graph
+Normal rank
@@ Property / cites work @@
+An efficient search algorithm to find the elementary circuits of a graph
+Normal rank
@@ Property / cites work @@
+Mode Jumping Proposals in MCMC
@@ Property / cites work: Mode Jumping Proposals in MCMC / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time solution of prime factorization and NP-complete problems with digital memcomputing machines
+Normal rank
@@ Property / cites work @@
+Average-Case Analysis for the MAX-2SAT Problem
@@ Property / cites work: Average-Case Analysis for the MAX-2SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4869540
@@ Property / cites work: Q4869540 / rank @@
+Normal rank
@@ Property / cites work @@
+Many hard examples in exact phase transitions
@@ Property / cites work: Many hard examples in exact phase transitions / rank @@
+Normal rank