Back
  1. Home
  3. Detailed Reference
Download
Article (Scientific journals)
Modular Constraint Solver Cooperation via Abstract Interpretation
TALBOT, Pierre; Monfroy, Éric; Truchet, Charlotte
2020 • In Theory and Practice of Logic Programming, 20 (6), p. 848--863
Peer reviewed
Permalink
https://hdl.handle.net/10993/44545
DOI
10.1017/S1471068420000162
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

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
Additional URL :
https://arxiv.org/abs/2008.01415
Available on ORBilu :
since 24 October 2020

Statistics

Number of views
171 (13 by Unilu)
Number of downloads
68 (5 by Unilu)
More statistics
Scopus citations®
 
1
Scopus citations®
without self-citations
0
OpenAlex citations
 
1
WoS citations™
 
0

Bibliography

Similar publications


Contact ORBilu