| |
| 2008 | ||
|---|---|---|
| 3 | EE | Zbigniew Stachniak, Anton Belov: Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. SAT 2008: 257-270 |
| 2 | EE | Zbigniew Stachniak, Anton Belov: Weighting strategy for non-clausal resolution. J. Exp. Theor. Artif. Intell. 20(1): 61-78 (2008) |
| 2005 | ||
| 1 | EE | Anton Belov, Zbigniew Stachniak: Substitutional Definition of Satisfiability in Classical Propositional Logic. SAT 2005: 31-45 |
| 1 | Zbigniew Stachniak | [1] [2] [3] |