BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × USA
3 × United Kingdom
Collaborated with:
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 DBLP: Stachniak:Zbigniew

Contributed to:

SAT 20102010
SAT 20092009
SAT 20082008
SAT 20052005
SAT 20042004
SAT 20022002

Wrote 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.
A Note on Satisfying Truth-Value Assignments of Boolean Formulas (ZS), pp. 104–110.
Going non-clausal (ZS), p. 21.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.