Zbigniew Stachniak

44 papers A* 2A 5B 3C 2Misc 2Journal 21Unranked 7

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Learning From Prototypes. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2019	J	`jnl`	Software Recovery and Beyond. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2017	J	`jnl`	MCM on Personal Software. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2015	J	`jnl`	Red Clones: The Soviet Computer Hobby Movement of the 1980s. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2014	J	`jnl`	Early Commercial Electronic Distribution of Software. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2013	J	`jnl`	This Is Not a Computer: Negotiating the Microprocessor. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2011	A*	`conf`	Depth-Driven Circuit-Level Stochastic Local Search for SAT. IJCAI Anton Belov, Matti Järvisalo, Zbigniew Stachniak
2010	A	`conf`	Improved Local Search for Circuit Satisfiability. SAT Anton Belov, Zbigniew Stachniak
2010	J	`jnl`	The MIL MF7114 Microprocessor. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2009	A	`conf`	Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. SAT Anton Belov, Zbigniew Stachniak
2008	—	`ch.`	Microcomputers. Wiley Encyclopedia of Computer Science and Engineering Zbigniew Stachniak
2008	A	`conf`	Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. SAT Zbigniew Stachniak, Anton Belov
2008	J	`jnl`	Weighting strategy for non-clausal resolution. J. Exp. Theor. Artif. Intell. Zbigniew Stachniak, Anton Belov
2007	J	`jnl`	Intel SIM8-01: A Proto-PC. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2005	A	`conf`	Substitutional Definition of Satisfiability in Classical Propositional Logic. SAT Anton Belov, Zbigniew Stachniak
2004	A	`conf`	A Note on Satisfying Truth-Value Assignments of Boolean Formulas. SAT Zbigniew Stachniak
2004	Misc	`conf`	Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. AISC Zbigniew Stachniak
2003	J	`jnl`	The Making of the MCM/70 Microcomputer. IEEE Ann. Hist. Comput. Zbigniew Stachniak
2001	—	`conf`	Exploiting Polarity in Multiple-Valued Inference Systems. ISMVL Zbigniew Stachniak
2001	J	`jnl`	Non-Clausal Reasoning with Definite Theories. Fundam. Informaticae Zbigniew Stachniak
1999	—	`conf`	Polarity Guided Tractable Reasoning. AAAI/IAAI Zbigniew Stachniak
1998	Misc	`conf`	Non-clausal Reasoning with Propositional Definite Theories. AISC Zbigniew Stachniak
1998	J	`jnl`	On Finitely-Valued Inference Systems. Stud Logica Zbigniew Stachniak
1996	—	`book`	Resolution proof systems - an algebraic theory. Zbigniew Stachniak
1995	J	`jnl`	Nonmonotonic Theories and Their Axiomatic Varieties. J. Log. Lang. Inf. Zbigniew Stachniak
1994	C	`conf`	Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics. ISMIS Zbigniew Stachniak
1994	—	`conf`	Lattices of Resolution Logics. ISMVL Zbigniew Stachniak
1993	A*	`conf`	Algebraic Sematics for Cumulative Inference Operations. AAAI Zbigniew Stachniak
1993	J	`jnl`	An essay on resolution logics. Stud Logica Zbigniew Stachniak
1993	—	`conf`	Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics. ISMVL E. R. Harley, Zbigniew Stachniak
1992	J	`jnl`	Resolution Approximation of First-Order Logics Inf. Comput. Zbigniew Stachniak
1992	J	`jnl`	Resolution Framework for Finitely-Valued First-Order Logics. J. Symb. Comput. Peter W. O'Hearn, Zbigniew Stachniak
1991	J	`jnl`	Extending resolution to resolution logics. J. Exp. Theor. Artif. Intell. Zbigniew Stachniak
1991	J	`jnl`	Minimization of resolution proof systems. Fundam. Informaticae Zbigniew Stachniak
1991	C	`conf`	Note on Resolution Circuits. ISMIS Zbigniew Stachniak
1990	B	`conf`	Note on Effective Constructibility of Resolution Proof Systems. JELIA Zbigniew Stachniak
1990	—	`conf`	Note on Resolution Approximation of Many-Valued Logics. ISMVL Zbigniew Stachniak
1990	B	`conf`	Resolution Proof Systems with Weak Transformation Rules. ISSAC Zbigniew Stachniak
1989	—	`conf`	A Resolution Framework for Finitely-Valued First-Order Logics. SCAI Peter W. O'Hearn, Zbigniew Stachniak
1989	J	`jnl`	Many-valued computational logics. J. Philos. Log. Zbigniew Stachniak
1989	B	`conf`	Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. ISSAC Peter W. O'Hearn, Zbigniew Stachniak
1988	—	`conf`	The resolution rule: an algebraic perspective. Algebraic Logic and Universal Algebra in Computer Science Zbigniew Stachniak
1988	J	`jnl`	Two theorems on many-valued logics. J. Philos. Log. Zbigniew Stachniak
1985	J	`jnl`	Note on Structural Logics. Math. Log. Q. Zbigniew Stachniak