| Publication | Date of Publication | Type |
|---|
Improved local search for circuit satisfiability
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
Weighting strategy for non-clausal resolution
Journal of Experimental & Theoretical Artificial Intelligence | 2008-05-19 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-15 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2042615 (Why is no real title available?) | 2004-02-15 | Paper |
| scientific article; zbMATH DE number 1735628 (Why is no real title available?) | 2002-04-29 | Paper |
On finitely-valued inference systems
Studia Logica | 2002-04-17 | Paper |
| scientific article; zbMATH DE number 1556963 (Why is no real title available?) | 2001-01-25 | Paper |
| scientific article; zbMATH DE number 1062290 (Why is no real title available?) | 2000-11-20 | Paper |
| scientific article; zbMATH DE number 1222436 (Why is no real title available?) | 1999-09-29 | Paper |
| scientific article; zbMATH DE number 1303448 (Why is no real title available?) | 1999-06-17 | Paper |
| scientific article; zbMATH DE number 886137 (Why is no real title available?) | 1996-06-10 | Paper |
Nonmonotonic theories and their axiomatic varieties
Journal of Logic, Language and Information | 1996-03-24 | Paper |
An essay on resolution logics
Studia Logica | 1995-03-05 | Paper |
| scientific article; zbMATH DE number 549996 (Why is no real title available?) | 1994-06-22 | Paper |
| scientific article; zbMATH DE number 475244 (Why is no real title available?) | 1994-01-13 | Paper |
Resolution approximation of first-order logics
Information and Computation | 1992-06-28 | Paper |
A resolution framework for finitely-valued first-order logics
Journal of Symbolic Computation | 1992-06-28 | Paper |
Extending resolution to resolution logics
Journal of Experimental & Theoretical Artificial Intelligence | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4182873 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4157911 (Why is no real title available?) | 1990-01-01 | Paper |
Many-valued computational logics
Journal of Philosophical Logic | 1989-01-01 | Paper |
Two theorems on many-valued logics
Journal of Philosophical Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4202247 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4087635 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4063069 (Why is no real title available?) | 1987-01-01 | Paper |
Note on Structural Logics
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3743227 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3641419 (Why is no real title available?) | 1978-01-01 | Paper |
