Integrating Cardinality Constraints into Constraint Logic Programming with Sets

Formal reasoning about finite sets and cardinality is important for many applications, including software verification, where very often one needs to reason about the size of a given data structure. The Constraint Logic Programming tool $$\{ log\} $$ provides a decision procedure for deciding the sa...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 23; číslo 2; s. 468 - 502
Hlavní autoři:	CRISTIÁ, MAXIMILIANO, ROSSI, GIANFRANCO
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge Cambridge University Press 01.03.2023
Témata:	Applications programs Data structures Decision theory Integer programming Linear programming Logic programming Program verification (computers) Prolog Solvers
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!