The use of mathematical programming to verify rule-based knowledge
type: Item
instance of: scholarly article
title: The use of mathematical programming to verify rule-based knowledge
zbMATH Open document ID: 0857.90066
DOI: 10.1007/BF02187331
author: Daniel E. O'Leary
author: Joanne R. Schaffer
published in: Annals of Operations Research
publication date: 1996-11-19T00:00:00Z
Mathematics Subject Classification ID: 90B50
Mathematics Subject Classification ID: 90C90
Mathematics Subject Classification ID: 68T35
zbMATH DE Number: 947468
zbMATH Keywords: rule-based knowledge
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf02187331
OpenAlex ID: W1987696640
description: scientific article; zbMATH DE number 947468