Stachniak, Zbigniew

3 publications

IJCAI 2011 Depth-Driven Circuit-Level Stochastic Local Search for SAT Anton Belov, Matti Järvisalo, Zbigniew Stachniak

AAAI 1999 Polarity Guided Tractable Reasoning Zbigniew Stachniak

AAAI 1993 Algebraic Sematics for Cumulative Inference Operations Zbigniew Stachniak