Zbigniew Stachniak

1 paper in the IJCAI proceedings

IJCAI 2011

Depth-Driven Circuit-Level Stochastic Local Search for SAT

with Anton Belov, Matti Järvisalo

doi:10.5591/978-1-57735-516-8/IJCAI11-092

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings