| Publication | Date of Publication | Type |
|---|
Implementing contextual rewriting
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Proving group isomorphism theorems
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Consider only general superpositions in completion procedures
Rewriting Techniques and Applications | 2022-12-09 | Paper |
A case study of completion modulo distributivity and Abelian groups
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Studying quasigroup identities by rewriting techniques: Problems and first results
Rewriting Techniques and Applications | 2022-12-09 | Paper |
scientific article; zbMATH DE number 7397922 (Why is no real title available?)
| 2021-09-20 | Paper |
The existence of nonelementary rational symmetric diagonally ordered magic square.
| 2019-12-18 | Paper |
SATO: An efficient propositional prover
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
System description generating models by SEM
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
The existence and application of strongly idempotent self-orthogonal row Latin magic arrays
Acta Mathematicae Applicatae Sinica. English Series | 2018-11-07 | Paper |
Investigating the existence of large sets of idempotent quasigroups via satisfiability testing
| 2018-10-18 | Paper |
Diagonally ordered orthogonal Latin squares and their related elementary diagonally ordered magic squares
| 2018-02-23 | Paper |
On holey Schröder designs of type \(2^nu^1\).
Ars Combinatoria | 2016-10-26 | Paper |
Strongly symmetric self-orthogonal diagonal Latin squares and Yang Hui type magic squares
Discrete Mathematics | 2014-05-06 | Paper |
Holey Schröder designs of type \(4^n u^1\)
The Australasian Journal of Combinatorics | 2014-01-03 | Paper |
25 new \(r\)-self-orthogonal Latin squares
Discrete Mathematics | 2013-12-05 | Paper |
Holey perfect Mendelsohn designs of type \(2^nu^1\) with block size four
ISRN Combinatorics | 2013-06-03 | Paper |
Exact algorithms for MAX-SAT
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics | 2013-04-16 | Paper |
Quasigroups satisfying Stein's third law with a specified number of idempotents
Discrete Mathematics | 2012-11-20 | Paper |
Schröder quasigroups with a specified number of idempotents
Discrete Mathematics | 2012-03-16 | Paper |
Frame self-orthogonal Mendelsohn triple systems of type \(h^n\)
Discrete Mathematics | 2009-01-27 | Paper |
Existence of HSOLSSOMs of type \(2^nu^1\)
Discrete Mathematics | 2009-01-27 | Paper |
Another Complete Local Search Method for SAT
Logic for Programming, Artificial Intelligence, and Reasoning | 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
Electronic Notes in Discrete Mathematics | 2007-05-29 | Paper |
Improving exact algorithms for MAX-2-SAT
Annals of Mathematics and Artificial Intelligence | 2006-01-23 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Frame self-orthogonal Mendelsohn triple systems
Acta Mathematica Sinica, English Series | 2005-06-07 | Paper |
scientific article; zbMATH DE number 2128108 (Why is no real title available?)
| 2005-01-14 | Paper |
Latin squares with self-orthogonal conjugates
Discrete Mathematics | 2004-08-20 | Paper |
Completing the spectrum of \(r\)-orthogonal Latin squares
Discrete Mathematics | 2003-07-29 | Paper |
Existence of self-orthogonal diagonal Latin squares with a missing subsquare
Discrete Mathematics | 2003-03-16 | Paper |
Existence of (3, 1, 2)-conjugate orthogonal diagonal Latin squares
Journal of Combinatorial Designs | 2003-02-04 | Paper |
On approximation of max-vertex-cover
European Journal of Operational Research | 2002-11-20 | Paper |
A few more \(r\)-orthogonal Latin squares
Discrete Mathematics | 2002-06-19 | Paper |
Large sets of disjoint pure Mendelsohn triple systems
Journal of Statistical Planning and Inference | 2002-05-14 | Paper |
Steiner pentagon covering designs
Discrete Mathematics | 2001-11-28 | Paper |
Implementing the Davis-Putnam method
| 2001-11-21 | Paper |
Perfect Mendelsohn designs with block size six
Journal of Statistical Planning and Inference | 2001-09-13 | Paper |
scientific article; zbMATH DE number 1471067 (Why is no real title available?)
| 2000-11-29 | Paper |
Implementing the Davis-Putnam method
Journal of Automated Reasoning | 2000-05-18 | Paper |
Holey self-orthogonal Latin squares with symmetric orthogonal mates
Annals of Combinatorics | 1999-10-25 | Paper |
Holey Steiner pentagon systems
| 1999-10-17 | Paper |
scientific article; zbMATH DE number 1348456 (Why is no real title available?)
| 1999-10-07 | Paper |
scientific article; zbMATH DE number 1308940 (Why is no real title available?)
| 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
Discrete Mathematics | 1999-05-04 | Paper |
Perfect Mendelsohn packing designs with block size five
Designs, Codes and Cryptography | 1999-04-19 | Paper |
[https://portal.mardi4nfdi.de/wiki/Publication:4222126 Holey Schr�der designs of type 2nu1]
| 1998-12-06 | Paper |
Existence of incomplete transversal designs with block size five and any index \(\lambda\)
Designs, Codes and Cryptography | 1997-08-27 | Paper |
scientific article; zbMATH DE number 1011067 (Why is no real title available?)
| 1997-06-17 | Paper |
PSATO: A distributed propositional prover and its application to quasigroup problems
Journal of Symbolic Computation | 1997-06-16 | Paper |
Proving Ramsey's theory by the cover set induction: A case and comparision study.
Annals of Mathematics and Artificial Intelligence | 1997-05-12 | Paper |
A new method for the Boolean ring based theorem proving
Journal of Symbolic Computation | 1997-04-21 | Paper |
scientific article; zbMATH DE number 969087 (Why is no real title available?)
| 1997-02-23 | Paper |
scientific article; zbMATH DE number 794241 (Why is no real title available?)
| 1995-09-10 | Paper |
A path ordering for proving termination of AC rewrite systems
Journal of Automated Reasoning | 1995-05-30 | Paper |
Automated proofs of equality problems in Overbeek's competition
Journal of Automated Reasoning | 1994-04-12 | Paper |
scientific article; zbMATH DE number 18651 (Why is no real title available?)
| 1992-06-26 | Paper |
Sufficient-completeness, ground-reducibility and their complexity
Acta Informatica | 1991-01-01 | Paper |
Automating inductionless induction using test sets
Journal of Symbolic Computation | 1991-01-01 | Paper |
Unnecessary inferences in associative-commutative completion procedures
Mathematical Systems Theory | 1990-01-01 | Paper |
Automated proof of ring commutativity problems by algebraic methods
Journal of Symbolic Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4074541 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4053061 (Why is no real title available?)
| 1988-01-01 | Paper |
Problem corner: Proving equivalence of different axiomatizations of free groups
Journal of Automated Reasoning | 1988-01-01 | Paper |
On sufficient-completeness and related properties of term rewriting systems
Acta Informatica | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4047063 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3943001 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4011938 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3921957 (Why is no real title available?)
| 1985-01-01 | Paper |
