0004-3702

Artificial Intelligence (AI) - Volume 81, Issues 1–2 论文列表

本期论文列表
Editorial Board

Phase transitions and the search problem

Generating hard satisfiability problems

Experimental results on the crossover point in random 3-SAT

The satisfiability constraint gap

An empirical study of phase transitions in binary constraint satisfaction problems

Some pitfalls for experimenters with random SAT

Refining the phase transition in combinatorial search

Locating the phase transition in binary constraint satisfaction problems

Hard random 3-SAT problems and the Davis-Putnam procedure

Implicates and prime implicates in Random 3-SAT

A study of complexity transitions on the asymmetric traveling salesman problem

A probabilistic analysis of prepositional STRIPS planning

Critical behavior in the computational cost of satisfiability testing

Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems

Problem structure heuristics and scaling behavior for genetic algorithms

Forthcoming papers

Author index—Volume 81 (1996)