Zbigniew Stachniak Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anton Belov, Matti Järvisalo, Zbigniew Stachniak: Depth-Driven Circuit-Level Stochastic Local Search for SAT. IJCAI 2011: 504-509
2010
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anton Belov, Zbigniew Stachniak: Improved Local Search for Circuit Satisfiability. SAT 2010: 293-299
2009
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anton Belov, Zbigniew Stachniak: Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. SAT 2009: 258-264
2008
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak, Anton Belov: Weighting strategy for non-clausal resolution. J. Exp. Theor. Artif. Intell. 20(1): 61-78 (2008)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak, Anton Belov: Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. SAT 2008: 257-270
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
2007
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Intel SIM8-01: A Proto-PC. IEEE Annals of the History of Computing 29(1): 34-48 (2007)
2005
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anton Belov, Zbigniew Stachniak: Substitutional Definition of Satisfiability in Classical Propositional Logic. SAT 2005: 31-45
2004
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. AISC 2004: 8-14
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: A Note on Satisfying Truth-Value Assignments of Boolean Formulas. SAT 2004
2003
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: The Making of the MCM/70 Microcomputer. IEEE Annals of the History of Computing 25(2): 62-75 (2003)
2001
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Non-Clausal Reasoning with Definite Theories. Fundam. Inform. 48(4): 363-388 (2001)
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Exploiting Polarity in Multiple-Valued Inference Systems. ISMVL 2001: 149-
1999
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Polarity Guided Tractable Reasoning. AAAI/IAAI 1999: 751-758
1998
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: On Finitely-Valued Inference Systems. Studia Logica 61(1): 149-169 (1998)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Non-clausal Reasoning with Propositional Definite Theories. AISC 1998: 296-307
1995
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Nonmonotonic Theories and Their Axiomatic Varieties. Journal of Logic, Language and Information 4(4): 317-334 (1995)
1994
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics. ISMIS 1994: 604-613
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Lattices of Resolution Logics. ISMVL 1994: 108-114
1993
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: An essay on resolution logics. Studia Logica 52(2): 309-322 (1993)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Algebraic Sematics for Cumulative Inference Operations. AAAI 1993: 444-449
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
E. R. Harley, Zbigniew Stachniak: Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics. ISMVL 1993: 54-59
1992
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Resolution Approximation of First-Order Logics. Inf. Comput. 96(2): 225-244 (1992)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter W. O'Hearn, Zbigniew Stachniak: Resolution Framework for Finitely-Valued First-Order Logics. J. Symb. Comput. 13(3): 235-254 (1992)
1991
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Minimization of resolution proof systems. Fundam. Inform. 14(1): 129-146 (1991)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Note on Resolution Circuits. ISMIS 1991: 620-629
1990
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Note on Resolution Approximation of Many-Valued Logics. ISMVL 1990: 204-209
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Resolution Proof Systems with Weak Transformation Rules. ISSAC 1990: 38-43
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: Note on Effective Constructibility of Resolution Proof Systems. JELIA 1990: 487-498
1989
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter W. O'Hearn, Zbigniew Stachniak: Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. ISSAC 1989: 364-372
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter W. O'Hearn, Zbigniew Stachniak: A Resolution Framework for Finitely-Valued First-Order Logics. SCAI 1989: 69-81
1988
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zbigniew Stachniak: The resolution rule: an algebraic perspective. Algebraic Logic and Universal Algebra in Computer Science 1988: 227-242

Coauthor Index

1Anton Belov
[c21] [c20] [c19] [j10] [c18] [c17]
2E. R. Harley
[c8]
3Matti Järvisalo
[c21]
4Peter W. O'Hearn
[j2] [c3] [c2]
Last update Thu May 23 19:16:18 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page