Automated reasoning and exhaustive search: Quasigroup existence problems
- 1 January 1995
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 29 (2) , 115-132
- https://doi.org/10.1016/0898-1221(94)00219-b
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An Improved Incremental Algorithm for Generating Prime ImplicatesPublished by Springer Nature ,1999
- R(4, 5) = 25Journal of Graph Theory, 1995
- Linear Programming in Some Ramsey ProblemsJournal of Combinatorial Theory, Series B, 1994
- Algorithms for finding matrix models of propositional calculiJournal of Automated Reasoning, 1991
- Quasigroup Identities and Mendelsohn DesignsCanadian Journal of Mathematics, 1989
- Constraint satisfaction from a deductive viewpointArtificial Intelligence, 1988