| Publication | Date of Publication | Type |
|---|
| Implementing contextual rewriting | 2023-03-09 | Paper |
| Proving group isomorphism theorems | 2023-03-09 | Paper |
| Consider only general superpositions in completion procedures | 2022-12-09 | Paper |
| A case study of completion modulo distributivity and Abelian groups | 2022-12-09 | Paper |
| Studying quasigroup identities by rewriting techniques: Problems and first results | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3382177 | 2021-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5206426 | 2019-12-18 | Paper |
| SATO: An efficient propositional prover | 2019-10-01 | Paper |
| System description generating models by SEM | 2019-01-15 | Paper |
| The existence and application of strongly idempotent self-orthogonal row Latin magic arrays | 2018-11-07 | Paper |
| Investigating the existence of large sets of idempotent quasigroups via satisfiability testing | 2018-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4604098 | 2018-02-23 | Paper |
| On holey Schröder designs of type \(2^nu^1\). | 2016-10-26 | Paper |
| Strongly symmetric self-orthogonal diagonal Latin squares and Yang Hui type magic squares | 2014-05-06 | Paper |
| Holey Schröder designs of type \(4^n u^1\) | 2014-01-03 | Paper |
| 25 new \(r\)-self-orthogonal Latin squares | 2013-12-05 | Paper |
| Holey perfect Mendelsohn designs of type \(2^nu^1\) with block size four | 2013-06-03 | Paper |
| Exact algorithms for MAX-SAT | 2013-04-19 | Paper |
| MACE4 and SEM: a comparison of finite model generators | 2013-04-16 | Paper |
| Quasigroups satisfying Stein's third law with a specified number of idempotents | 2012-11-20 | Paper |
| Schröder quasigroups with a specified number of idempotents | 2012-03-16 | Paper |
| Frame self-orthogonal Mendelsohn triple systems of type \(h^n\) | 2009-01-27 | Paper |
| Existence of HSOLSSOMs of type \(2^nu^1\) | 2009-01-27 | Paper |
| Another Complete Local Search Method for SAT | 2008-05-27 | Paper |
| Algorithm of mining frequent patterns based on the vertical bitmap | 2008-04-04 | Paper |
| An Empirical Study of MAX-2-SAT Phase Transitions | 2007-05-29 | Paper |
| Improving exact algorithms for MAX-2-SAT | 2006-01-23 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| Frame self-orthogonal Mendelsohn triple systems | 2005-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3155147 | 2005-01-14 | Paper |
| Latin squares with self-orthogonal conjugates | 2004-08-20 | Paper |
| Completing the spectrum of \(r\)-orthogonal Latin squares | 2003-07-29 | Paper |
| Existence of self-orthogonal diagonal Latin squares with a missing subsquare | 2003-03-16 | Paper |
| Existence of (3, 1, 2)-conjugate orthogonal diagonal Latin squares | 2003-02-04 | Paper |
| On approximation of max-vertex-cover | 2002-11-20 | Paper |
| A few more \(r\)-orthogonal Latin squares | 2002-06-19 | Paper |
| Large sets of disjoint pure Mendelsohn triple systems | 2002-05-14 | Paper |
| Steiner pentagon covering designs | 2001-11-28 | Paper |
| Implementing the Davis-Putnam method | 2001-11-21 | Paper |
| Perfect Mendelsohn designs with block size six | 2001-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4488562 | 2000-11-29 | Paper |
| Implementing the Davis-Putnam method | 2000-05-18 | Paper |
| Holey self-orthogonal Latin squares with symmetric orthogonal mates | 1999-10-25 | Paper |
| Holey Steiner pentagon systems | 1999-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264706 | 1999-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255993 | 1999-10-07 | Paper |
| Existence of self-conjugate self-orthogonal diagonal latin squares | 1999-07-05 | Paper |
| Existence of HPMDs with block size five | 1999-05-30 | Paper |
| Existence of conjugate orthogonal diagonal Latin squares | 1999-05-16 | Paper |
| Direct constructions for certain types of HMOLS | 1999-05-04 | Paper |
| Perfect Mendelsohn packing designs with block size five | 1999-04-19 | Paper |
| Holey Schr�der designs of type 2nu1 | 1998-12-06 | Paper |
| Existence of incomplete transversal designs with block size five and any index \(\lambda\) | 1997-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4337345 | 1997-06-17 | Paper |
| PSATO: A distributed propositional prover and its application to quasigroup problems | 1997-06-16 | Paper |
| Proving Ramsey's theory by the cover set induction: A case and comparision study. | 1997-05-12 | Paper |
| A new method for the Boolean ring based theorem proving | 1997-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5284553 | 1997-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847001 | 1995-09-10 | Paper |
| A path ordering for proving termination of AC rewrite systems | 1995-05-30 | Paper |
| Automated proofs of equality problems in Overbeek's competition | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976057 | 1992-06-26 | Paper |
| Sufficient-completeness, ground-reducibility and their complexity | 1991-01-01 | Paper |
| Automating inductionless induction using test sets | 1991-01-01 | Paper |
| Unnecessary inferences in associative-commutative completion procedures | 1990-01-01 | Paper |
| Automated proof of ring commutativity problems by algebraic methods | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805961 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789100 | 1988-01-01 | Paper |
| Problem corner: Proving equivalence of different axiomatizations of free groups | 1988-01-01 | Paper |
| On sufficient-completeness and related properties of term rewriting systems | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783519 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713575 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761697 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696496 | 1985-01-01 | Paper |
