Logic, modeling, and programming
type: Item
instance of: scholarly article
title: Logic, modeling, and programming
zbMATH Open document ID: 0883.90092
DOI: 10.1023/A:1018979717390
author: Carol Tretkoff
author: Kenneth McAloon
published in: Annals of Operations Research
publication date: 1997-11-26T00:00:00Z
Mathematics Subject Classification ID: 90C05
Mathematics Subject Classification ID: 90C10
zbMATH DE Number: 1067082
zbMATH Keywords: constraint logic programming
zbMATH Keywords: goal program
zbMATH Keywords: disjunctive program
zbMATH Keywords: branch-and-bound
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1067082