Zbigniew Stachniak

Available identifiers

zbMath Open stachniak.zbigniewMaRDI QIDQ687162

List of research outcomes

Publication	Date of Publication	Type
Improved local search for circuit satisfiability	2010-09-29	Paper
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning	2008-05-27	Paper
Weighting strategy for non-clausal resolution	2008-05-19	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4450444	2004-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q4329011	2002-04-29	Paper
On finitely-valued inference systems	2002-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4526736	2001-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4354887	2000-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4217961	1999-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q4250059	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4881605	1996-06-10	Paper
Nonmonotonic theories and their axiomatic varieties	1996-03-24	Paper
An essay on resolution logics	1995-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4287516	1994-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4273485	1994-01-13	Paper
Resolution approximation of first-order logics	1992-06-28	Paper
A resolution framework for finitely-valued first-order logics	1992-06-28	Paper
Extending resolution to resolution logics	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5748907	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3485886	1990-01-01	Paper
Many-valued computational logics	1989-01-01	Paper
Two theorems on many-valued logics	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3351354	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3816058	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3797165	1987-01-01	Paper
Note on Structural Logics	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3929719	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4200045	1978-01-01	Paper

Research outcomes over time

This page was built for person: Zbigniew Stachniak