# Zbigniew Stachniak

According to our database

Collaborative distances:

^{1}, Zbigniew Stachniak authored at least 43 papers between 1985 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

IEEE Ann. Hist. Comput., 2020

2019

IEEE Ann. Hist. Comput., 2019

2017

IEEE Ann. Hist. Comput., 2017

2015

IEEE Ann. Hist. Comput., 2015

2014

IEEE Ann. Hist. Comput., 2014

2013

IEEE Ann. Hist. Comput., 2013

2011

Proceedings of the IJCAI 2011, 2011

2010

IEEE Ann. Hist. Comput., 2010

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability.

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

J. Exp. Theor. Artif. Intell., 2008

Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

2007

IEEE Ann. Hist. Comput., 2007

2005

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2004

Proceedings of the SAT 2004, 2004

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

IEEE Ann. Hist. Comput., 2003

2001

Fundam. Informaticae, 2001

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

1999

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Stud Logica, 1998

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1996

Resolution proof systems - an algebraic theory.

Automated reasoning series 4, Kluwer, ISBN: 978-0-7923-4017-1, 1996

1995

J. Log. Lang. Inf., 1995

1994

Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994

Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1993

Stud Logica, 1993

Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Inf. Comput., February, 1992

J. Symb. Comput., 1992

1991

J. Exp. Theor. Artif. Intell., 1991

Minimization of resolution proof systems.

Fundam. Informaticae, 1991

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

1990

Proceedings of the Logics in AI, European Workshop, 1990

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

1989

J. Philos. Log., 1989

Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics.

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988

J. Philos. Log., 1988

Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988

1985

Math. Log. Q., 1985