Travelled to:1 × Canada
1 × China
1 × USA
3 × United Kingdom
Collaborated with:A.Belov ∅
Talks about:satisfi (5) proposit (3) search (3) local (3) clausal (2) improv (2) non (2) substitut (1) stochast (1) variabl (1)
Person: Zbigniew Stachniak
DBLP: Stachniak:Zbigniew
Contributed to:
201020092008200520042002Wrote 6 papers:
- SAT-2010-BelovS #satisfiability
- Improved Local Search for Circuit Satisfiability (AB, ZS), pp. 293–299.
- SAT-2009-BelovS #probability #process #satisfiability
- Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability (AB, ZS), pp. 258–264.
- SAT-2008-StachniakB #learning #satisfiability
- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning (ZS, AB), pp. 257–270.
- SAT-2005-BelovS #logic #satisfiability
- Substitutional Definition of Satisfiability in Classical Propositional Logic (AB, ZS), pp. 31–45.
- SAT-2004-Stachniak
- A Note on Satisfying Truth-Value Assignments of Boolean Formulas (ZS), pp. 104–110.
- SAT-2002-Stachniak
- Going non-clausal (ZS), p. 21.