cs-conference-ranking.org Search 971 venues

Zbigniew Stachniak

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

7

Active years

1989–2011

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

Year	Venue	Title	Authors
2011	IJCAI	Depth-Driven Circuit-Level Stochastic Local Search for SAT.	Anton Belov, Matti Jrvisalo, Zbigniew Stachniak
2010	SAT	Improved Local Search for Circuit Satisfiability.	Anton Belov, Zbigniew Stachniak
2009	SAT	Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability.	Anton Belov, Zbigniew Stachniak
2008	SAT	Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.	Zbigniew Stachniak, Anton Belov
2005	SAT	Substitutional Definition of Satisfiability in Classical Propositional Logic.	Anton Belov, Zbigniew Stachniak
2004	AISC	Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search.	Zbigniew Stachniak
2004	SAT	A Note on Satisfying Truth-Value Assignments of Boolean Formulas.	Zbigniew Stachniak
1999	AAAI	Polarity Guided Tractable Reasoning.	Zbigniew Stachniak
1998	AISC	Non-clausal Reasoning with Propositional Definite Theories.	Zbigniew Stachniak
1994	ISMIS	Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.	Zbigniew Stachniak
1993	AAAI	Algebraic Sematics for Cumulative Inference Operations.	Zbigniew Stachniak
1991	ISMIS	Note on Resolution Circuits.	Zbigniew Stachniak
1990	ISSAC	Resolution Proof Systems with Weak Transformation Rules.	Zbigniew Stachniak
1990	JELIA	Note on Effective Constructibility of Resolution Proof Systems.	Zbigniew Stachniak
1989	ISSAC	Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics.	Peter W. O'Hearn, Zbigniew Stachniak