Journals in DBLP
Artif. Intell. Tad Hogg , Bernardo A. Huberman , Colin P. Williams Phase Transitions and the Search Problem. [Citation Graph (0, 0)][DBLP ] Journal ] Bart Selman , David G. Mitchell , Hector J. Levesque Generating Hard Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] Journal ] James M. Crawford , Larry D. Auton Experimental Results on the Crossover Point in Random 3-SAT. [Citation Graph (0, 0)][DBLP ] Journal ] Ian P. Gent , Toby Walsh The Satisfiability Constraint Gap. [Citation Graph (0, 0)][DBLP ] Journal ] Patrick Prosser An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Journal ] David G. Mitchell , Hector J. Levesque Some Pitfalls for Experimenters with Random SAT. [Citation Graph (0, 0)][DBLP ] Journal ] Tad Hogg Refining the Phase Transition in Combinatorial Search. [Citation Graph (0, 0)][DBLP ] Journal ] Barbara M. Smith , Martin E. Dyer Locating the Phase Transition in Binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Journal ] Jon W. Freeman Hard Random 3-SAT Problems and the Davis-Putnam Procedure. [Citation Graph (0, 0)][DBLP ] Journal ] Robert Schrag , James M. Crawford Implicates and Prime Implicates in Random 3-SAT. [Citation Graph (0, 0)][DBLP ] Journal ] Weixiong Zhang , Richard E. Korf A Study of Complexity Transitions on the Asymmetric Traveling Salesman Problem. [Citation Graph (0, 0)][DBLP ] Journal ] Tom Bylander A Probabilistic Analysis of Propositional STRIPS Planning. [Citation Graph (0, 0)][DBLP ] Journal ] Bart Selman , Scott Kirkpatrick Critical Behavior in the Computational Cost of Satisfiability Testing. [Citation Graph (0, 0)][DBLP ] Journal ] Joseph C. Pemberton , Weixiong Zhang Epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems. [Citation Graph (0, 0)][DBLP ] Journal ] Scott H. Clearwater , Tad Hogg Problem Structure Heuristics and Scaling Behavior for Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Journal ] 