Dimitris Achlioptas

Microsoft Research Redmond , WA 98052

1 paper in the IJCAI proceedings

IJCAI 2001

Balance and Filtering in Structured Satisfiable Problems

with Henry A. Kautz, Yongshao Ruan, Carla P. Gomes, Bart Selman, Mark E. Stickel

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings