Reference : Modular Constraint Solver Cooperation via Abstract Interpretation
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/44545
Modular Constraint Solver Cooperation via Abstract Interpretation
English
Talbot, Pierre mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
Monfroy, Éric mailto [University of Angers]
Truchet, Charlotte mailto [University of Nantes]
2020
Theory and Practice of Logic Programming
Cambridge University Press
20
6
848--863
Yes
International
http://hdl.handle.net/10993/44545
10.1017/S1471068420000162
https://arxiv.org/abs/2008.01415

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
iclp2020.pdfAuthor preprint484.47 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.