Logic, modeling, and programming

DOI10.1023/A:1018979717390zbMath0883.90092MaRDI QIDQ1368376

Carol Tretkoff, Kenneth McAloon

Publication date: 26 November 1997

Published in: Annals of Operations Research (Search for Journal in Brave)

zbMATH Keywords

branch-and-boundconstraint logic programmingdisjunctive programgoal program

Mathematics Subject Classification ID

Integer programming (90C10) Linear programming (90C05)

Related Items (1)

Using Brouwer's continuity principle to pick stocks

This page was built for publication: Logic, modeling, and programming