Problem corner: Non-Horn problems
type: Item
instance of: scholarly article
title: Problem corner: Non-Horn problems
zbMATH Open document ID: 0614.68069
published in: Journal of Automated Reasoning
publication date: 1985-01-01T00:00:00Z
review text: The goal of automated reasoning research is to discover ways to solve problems. Specific problems have always been the spur to research in the field, and solving them the reward for inventing and implementing new ideas. Therefore it will be appropriate, hopefully useful, and certainly enjoyable if this Journal provides a regular forum for the presentation and discussion of specific problems in some detail. This column will be hosted by the ''Argonne group'' and the ''Kaiserslautern group'', who will start the ball rolling by presenting here several sets of problems over the next several issues. Our intention is to present in each issue a set of problems that illuminate some area of automated reasoning. We will give rigorous formulations of the problems, their complete solutions where possible, and some discussion of the interesting features of each problem or its solution. We certainly encourage others to submit problem sets, comment on the problems or solutions presented here, and in general participate in this column.
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 3995087
zbMATH Keywords: automated reasoning
zbMATH Keywords: problems
author: Ewing Lusk
author: Ross A. Overbeek
MaRDI profile type: Publication
Recommended article: Revisiting Horn’s problem
Recommended article: On word problems in Horn theories
Recommended article: Q3818295
Recommended article: Q3798649
Recommended article: Combinatorial Problems for Horn Clauses
Recommended article: On a problem of Hornik
Recommended article: Q3025725
Recommended article: Nonstandard problems
Recommended article: Q4427994
description: scientific article; zbMATH DE number 3995087