Article (Scientific journals)
Modular Constraint Solver Cooperation via Abstract Interpretation
TALBOT, Pierre; Monfroy, Éric; Truchet, Charlotte
2020In Theory and Practice of Logic Programming, 20 (6), p. 848--863
Peer reviewed
 

Files


Full Text
iclp2020.pdf
Author preprint (496.1 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
TALBOT, Pierre  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Monfroy, Éric;  University of Angers
Truchet, Charlotte;  University of Nantes
External co-authors :
yes
Language :
English
Title :
Modular Constraint Solver Cooperation via Abstract Interpretation
Publication date :
2020
Journal title :
Theory and Practice of Logic Programming
Publisher :
Cambridge University Press
Volume :
20
Issue :
6
Pages :
848--863
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 24 October 2020

Statistics


Number of views
151 (8 by Unilu)
Number of downloads
52 (3 by Unilu)

Scopus citations®
 
1
Scopus citations®
without self-citations
0
WoS citations
 
0

Bibliography


Similar publications



Contact ORBilu