Generating Satisfiable Problem Instances

Has publishing details pp. 256-261, 2000

Has title Generating Satisfiable Problem Instances

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2000.html#AchlioptasGKS00

Has where published AAAI/IAAI

Has year 2000

Has author Dimitris Achlioptas +, Carla P. Gomes +, Henry A. Kautz +, Bart Selman +

Has identifier Generating Satisfiable Problem Instances +

Categories Proceeding Paper +