Lukas Kroc

Department of Computer Science , Cornell University Ithaca , NY 14853-7501 , U.S.A.

1 paper in the IJCAI proceedings

IJCAI 2009

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT

with Ashish Sabharwal, Carla P. Gomes, Bart Selman

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings