Integrating cardinality constraints into constraint logic programming with sets

DOI10.1017/S1471068421000521MaRDI QIDQ7027217zbMATH OpenFDO

Authors Maximiliano Cristiá, Gianfranco Rossi

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL http://sedici.unlp.edu.ar/handle/10915/151644

zbMATH Keywords

cardinalityconstraint logic programmingformal verificationset theory

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Integrating cardinality constraints into constraint logic programming with sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027217)