| Article ID: | iaor19961012 |
| Country: | Netherlands |
| Volume: | 61 |
| Issue: | 1/2 |
| Start Page Number: | 48 |
| End Page Number: | 56 |
| Publication Date: | Aug 1992 |
| Journal: | European Journal of Operational Research |
| Authors: | Schoen Fabio, Marcucci Cristina |
| Keywords: | programming: linear, artificial intelligence: decision support |
In this paper an analysis is carried out on the connections between Horn satisfiability, linear programming and the theory of flows in hypergraphs. The aim of the paper is to consider the possibility of using standard techniques from linear programming for the task of repeated queries to similar Horn formulae. Some examples are eventually provided.