%0 Journal Article %1 journals/tplp/TalbotMT20 %A Talbot, Pierre %A Monfroy, Éric %A Truchet, Charlotte %D 2020 %J Theory Pract. Log. Program. %K dblp %N 6 %P 848-863 %T Modular Constraint Solver Cooperation via Abstract Interpretation. %U http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#TalbotMT20 %V 20

@article{journals/tplp/TalbotMT20, added-at = {2021-02-23T00:00:00.000+0100}, author = {Talbot, Pierre and Monfroy, Éric and Truchet, Charlotte}, biburl = {https://www.bibsonomy.org/bibtex/2eaf996c79fd51db4d4f7aea2e9be20bf/dblp}, ee = {https://doi.org/10.1017/S1471068420000162}, interhash = {7217d04dfa468230d0ce836f6fd928ab}, intrahash = {eaf996c79fd51db4d4f7aea2e9be20bf}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 6, pages = {848-863}, timestamp = {2024-04-09T05:34:50.000+0200}, title = {Modular Constraint Solver Cooperation via Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#TalbotMT20}, volume = 20, year = 2020 }