( en | de | ru )

 

Disambiguation of "Stachniak, Zbigniew"

Author of the publication

copydeleteadd this publication to your clipboard
Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics.

, and . ISMVL, page 54-59. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zbigniew Jerzak

Zbigniew Niedzielski

Zbigniew Kaniewski

Zbigniew Slaczka

Zbigniew Mikulski

 

Other publications of authors with the same name

Non-clausal Reasoning with Propositional Definite Theories.. AISC, volume 1476 of Lecture Notes in Computer Science, page 296-307. Springer, (1998)Red Clones: The Soviet Computer Hobby Movement of the 1980s.. IEEE Ann. Hist. Comput., 37 (1): 12-23 (2015)Improved Local Search for Circuit Satisfiability., and . SAT, volume 6175 of Lecture Notes in Computer Science, page 293-299. Springer, (2010)Resolution Approximation of First-Order Logics. Inf. Comput., 96 (2): 225-244 (February 1992)A Note on Satisfying Truth-Value Assignments of Boolean Formulas.. SAT, (2004)Microcomputers.. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Note on Structural Logics.. Math. Log. Q., 31 (19-20): 317-320 (1985)Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 258-264. Springer, (2009)Intel SIM8-01: A Proto-PC.. IEEE Ann. Hist. Comput., 29 (1): 34-48 (2007)MCM on Personal Software.. IEEE Ann. Hist. Comput., 39 (1): 52-64 (2017)