Subdefinite models and logic programming: Implementation of constraints

DOI10.1023/A:1011002911535zbMath1012.68903OpenAlexW1606589071MaRDI QIDQ5951255

E. S. Petrov, Tatyana M. Yakhno

Publication date: 3 June 2003

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011002911535

zbMATH Keywords

subdefinite models

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17)

Uses Software

• UniCalc

This page was built for publication: Subdefinite models and logic programming: Implementation of constraints