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
A resolution framework for finitely-valued first-order logics	1992-06-28	Paper
Resolution approximation of 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zbigniew Stachniak