Anton Belov Vis

*	2009
4	EE	Anton Belov, Zbigniew Stachniak: Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. SAT 2009: 258-264
	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

Coauthor Index

1

Zbigniew Stachniak

[1] [2] [3] [4]