| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 8 |      | Anton Belov, Matti Järvisalo, Zbigniew Stachniak: Depth-Driven Circuit-Level Stochastic Local Search for SAT. IJCAI 2011: 504-509 |
| 7 | | Anton Belov, João P. Marques Silva: Minimally Unsatisfiable Boolean Circuits. SAT 2011: 145-158 |
| 6 | | Anton Belov, Matti Järvisalo: Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability CoRR abs/1109.2049: (2011) |
| 2010 | ||
| 5 | | Anton Belov, Zbigniew Stachniak: Improved Local Search for Circuit Satisfiability. SAT 2010: 293-299 |
| 2009 | ||
| 4 | | Anton Belov, Zbigniew Stachniak: Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. SAT 2009: 258-264 |
| 2008 | ||
| 3 | | Zbigniew Stachniak, Anton Belov: Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. SAT 2008: 257-270 |
| 2 | | Zbigniew Stachniak, Anton Belov: Weighting strategy for non-clausal resolution. J. Exp. Theor. Artif. Intell. 20(1): 61-78 (2008) |
| 2005 | ||
| 1 | | Anton Belov, Zbigniew Stachniak: Substitutional Definition of Satisfiability in Classical Propositional Logic. SAT 2005: 31-45 |
| 1 | Matti Järvisalo | [6] [8] |
| 2 | João P. Marques Silva (João Marques-Silva) | [7] |
| 3 | Zbigniew Stachniak | [1] [2] [3] [4] [5] [8] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page