Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mats Carlsson
@article{DBLP:journals/cea/ForghaniCFFPY24,
author = {Kamran Forghani and
Mats Carlsson and
Pierre Flener and
Magnus Fredriksson and
Justin Pearson and
Di Yuan},
title = {Maximizing value yield in wood industry through flexible sawing and
product grading based on wane and log shape},
journal = {Comput. Electron. Agric.},
volume = {216},
pages = {108513},
year = {2024},
url = {https://doi.org/10.1016/j.compag.2023.108513},
doi = {10.1016/J.COMPAG.2023.108513},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cea/ForghaniCFFPY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/WessenC0FPM23,
author = {Johan Wess{\'{e}}n and
Mats Carlsson and
Christian Schulte and
Pierre Flener and
Federico Pecora and
Mihhail Matskin},
title = {A constraint programming model for the scheduling and workspace layout
design of a dual-arm multi-tool assembly robot},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {71--104},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09345-4},
doi = {10.1007/S10601-023-09345-4},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/WessenC0FPM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/orf/FrimodigECM23,
author = {Sara Frimodig and
Per Enqvist and
Mats Carlsson and
Carole Mercier},
title = {Comparing Optimization Methods for Radiation Therapy Patient Scheduling
using Different Objectives},
journal = {Oper. Res. Forum},
volume = {4},
number = {4},
pages = {83},
year = {2023},
url = {https://doi.org/10.1007/s43069-023-00251-2},
doi = {10.1007/S43069-023-00251-2},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/orf/FrimodigECM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scheduling/CarlssonCGMSS23,
author = {Mats Carlsson and
Sara Ceschia and
Luca Di Gaspero and
Rasmus {\O}. Mikkelsen and
Andrea Schaerf and
Thomas Jacob Riis Stidsen},
title = {Exact and metaheuristic methods for a real-world examination timetabling
problem},
journal = {J. Sched.},
volume = {26},
number = {4},
pages = {353--367},
year = {2023},
url = {https://doi.org/10.1007/s10951-023-00778-6},
doi = {10.1007/S10951-023-00778-6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scheduling/CarlssonCGMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ColletGLCMM20,
author = {Mathieu Collet and
Arnaud Gotlieb and
Nadjib Lazaar and
Mats Carlsson and
Dusica Marijan and
Morten Mossige},
editor = {Helmut Simonis},
title = {RobTest: {A} {CP} Approach to Generate Maximal Test Trajectories for
Industrial Robots},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {707--723},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_41},
doi = {10.1007/978-3-030-58475-7\_41},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ColletGLCMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/WessenCS20,
author = {Johan Wess{\'{e}}n and
Mats Carlsson and
Christian Schulte},
editor = {Emmanuel Hebrard and
Nysret Musliu},
title = {Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout
Optimization},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 17th International Conference, {CPAIOR} 2020,
Vienna, Austria, September 21-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12296},
pages = {511--520},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58942-4\_33},
doi = {10.1007/978-3-030-58942-4\_33},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/WessenCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LozanoCBS19,
author = {Roberto Casta{\~{n}}eda Lozano and
Mats Carlsson and
Gabriel Hjort Blindell and
Christian Schulte},
title = {Combinatorial Register Allocation and Instruction Scheduling},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {3},
pages = {17:1--17:53},
year = {2019},
url = {https://doi.org/10.1145/3332373},
doi = {10.1145/3332373},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LozanoCBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/MossigeGSMC19,
author = {Morten Mossige and
Arnaud Gotlieb and
Helge Spieker and
Hein Meling and
Mats Carlsson},
editor = {Steffen Becker and
Ivan Bogicevic and
Georg Herzwurm and
Stefan Wagner},
title = {Time-aware Test Execution Scheduling for Cyber-Physical Systems},
booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019},
series = {{LNI}},
volume = {{P-292}},
pages = {121--122},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/se2019-36},
doi = {10.18420/SE2019-36},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/MossigeGSMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-04627,
author = {Morten Mossige and
Arnaud Gotlieb and
Helge Spieker and
Hein Meling and
Mats Carlsson},
title = {Time-aware Test Case Execution Scheduling for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1902.04627},
year = {2019},
url = {http://arxiv.org/abs/1902.04627},
eprinttype = {arXiv},
eprint = {1902.04627},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-04627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01532,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Claude{-}Guy Quimper and
Maria{-}Isabel Restrepo{-}Ruiz},
title = {Classifying Pattern and Feature Properties to Get a {\(\Theta\)}(n)
Checker and Reformulation for Sliding Time-Series Constraints},
journal = {CoRR},
volume = {abs/1912.01532},
year = {2019},
url = {http://arxiv.org/abs/1912.01532},
eprinttype = {arXiv},
eprint = {1912.01532},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-01532.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DuboisGPC18,
author = {Catherine Dubois and
Olga Grinchtein and
Justin Pearson and
Mats Carlsson},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {Exploring Properties of a Telecommunication Protocol with Message
Delay Using Interactive Theorem Prover},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {239--253},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_15},
doi = {10.1007/978-3-319-92970-5\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/DuboisGPC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02452,
author = {Roberto Casta{\~{n}}eda Lozano and
Mats Carlsson and
Gabriel Hjort Blindell and
Christian Schulte},
title = {Combinatorial Register Allocation and Instruction Scheduling},
journal = {CoRR},
volume = {abs/1804.02452},
year = {2018},
url = {http://arxiv.org/abs/1804.02452},
eprinttype = {arXiv},
eprint = {1804.02452},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DekkerBCFM17,
author = {Jip J. Dekker and
Gustav Bj{\"{o}}rdal and
Mats Carlsson and
Pierre Flener and
Jean{-}No{\"{e}}l Monette},
title = {Auto-tabling for subproblem presolving in MiniZinc},
journal = {Constraints An Int. J.},
volume = {22},
number = {4},
pages = {512--529},
year = {2017},
url = {https://doi.org/10.1007/s10601-017-9270-5},
doi = {10.1007/S10601-017-9270-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/DekkerBCFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/CarlssonJL17,
author = {Mats Carlsson and
Mikael Johansson and
Jeffrey Larson},
title = {Scheduling double round-robin tournaments with divisional play using
constraint programming},
journal = {Eur. J. Oper. Res.},
volume = {259},
number = {3},
pages = {1180--1190},
year = {2017},
url = {https://doi.org/10.1016/j.ejor.2016.11.033},
doi = {10.1016/J.EJOR.2016.11.033},
timestamp = {Wed, 20 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eor/CarlssonJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BlindellCLS17,
author = {Gabriel Hjort Blindell and
Mats Carlsson and
Roberto Casta{\~{n}}eda Lozano and
Christian Schulte},
title = {Complete and Practical Universal Instruction Selection},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {5s},
pages = {119:1--119:18},
year = {2017},
url = {https://doi.org/10.1145/3126528},
doi = {10.1145/3126528},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BlindellCLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MossigeGSMC17,
author = {Morten Mossige and
Arnaud Gotlieb and
Helge Spieker and
Hein Meling and
Mats Carlsson},
editor = {J. Christopher Beck},
title = {Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {387--404},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_25},
doi = {10.1007/978-3-319-66158-2\_25},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MossigeGSMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCDPSS17,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Alban Derrien and
Charles Prud'homme and
Andreas Schutt and
Peter J. Stuckey},
editor = {Domenico Salvagnin and
Michele Lombardi},
title = {Range-Consistent Forbidden Regions of Allen's Relations},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
5-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10335},
pages = {21--29},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59776-8\_2},
doi = {10.1007/978-3-319-59776-8\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuCDPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/CarlssonGP17,
author = {Mats Carlsson and
Olga Grinchtein and
Justin Pearson},
title = {Modelling and Verification of User Interactions Using Constraint Programming},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
25-29, 2017},
pages = {541--547},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS-C.2017.92},
doi = {10.1109/QRS-C.2017.92},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/CarlssonGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDS16,
author = {Nicolas Beldiceanu and
Mats Carlsson and
R{\'{e}}mi Douence and
Helmut Simonis},
title = {Using finite transducers for describing and synthesising structural
time-series constraints},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {22--40},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9200-3},
doi = {10.1007/S10601-015-9200-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GotliebCLMP16,
author = {Arnaud Gotlieb and
Mats Carlsson and
Marius Liaaen and
Dusica Marijan and
Alexandre Petillon},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Automated Regression Testing Using Constraint Programming},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {4010--4015},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i2.19077},
doi = {10.1609/AAAI.V30I2.19077},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GotliebCLMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LozanoCBS16,
author = {Roberto Casta{\~{n}}eda Lozano and
Mats Carlsson and
Gabriel Hjort Blindell and
Christian Schulte},
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {Register allocation and instruction scheduling in Unison},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {263--264},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892208.2892237},
doi = {10.1145/2892208.2892237},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/LozanoCBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ArafailovaBCFRP16,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
Justin Pearson and
Helmut Simonis},
editor = {Michel Rueher},
title = {Systematic Derivation of Bounds and Glue Constraints for Time-Series
Constraints},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {13--29},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_2},
doi = {10.1007/978-3-319-44953-1\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ArafailovaBCFRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GotliebCMP16,
author = {Arnaud Gotlieb and
Mats Carlsson and
Dusica Marijan and
Alexandre Petillon},
editor = {Leszek A. Maciaszek and
Jorge Cardoso and
Andr{\'{e}} Ludwig and
Marten van Sinderen and
Enrique Cabello},
title = {A New Approach to Feature-based Test Suite Reduction in Software Product
Line Testing},
booktitle = {Proceedings of the 11th International Joint Conference on Software
Technologies {(ICSOFT} 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal,
July 24 - 26, 2016},
pages = {48--58},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005983400480058},
doi = {10.5220/0005983400480058},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GotliebCMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/CarlssonGM16,
author = {Mats Carlsson and
Arnaud Gotlieb and
Dusica Marijan},
editor = {Enrique Cabello and
Jorge Cardoso and
Andr{\'{e}} Ludwig and
Leszek A. Maciaszek and
Marten van Sinderen},
title = {Software Product Line Test Suite Reduction with Constraint Optimization},
booktitle = {Software Technologies, 11th International Joint Conference, {ICSOFT}
2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {743},
pages = {68--87},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-62569-0\_4},
doi = {10.1007/978-3-319-62569-0\_4},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/CarlssonGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArafailovaBDCFR16,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
R{\'{e}}mi Douence and
Mats Carlsson and
Pierre Flener and
Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
Justin Pearson and
Helmut Simonis},
title = {Global Constraint Catalog, Volume II, Time-Series Constraints},
journal = {CoRR},
volume = {abs/1609.08925},
year = {2016},
url = {http://arxiv.org/abs/1609.08925},
eprinttype = {arXiv},
eprint = {1609.08925},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ArafailovaBDCFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LetortCB15,
author = {Arnaud Letort and
Mats Carlsson and
Nicolas Beldiceanu},
title = {Synchronized sweep algorithms for scalable scheduling constraints},
journal = {Constraints An Int. J.},
volume = {20},
number = {2},
pages = {183--234},
year = {2015},
url = {https://doi.org/10.1007/s10601-014-9172-8},
doi = {10.1007/S10601-014-9172-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LetortCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BlindellLCS15,
author = {Gabriel Hjort Blindell and
Roberto Casta{\~{n}}eda Lozano and
Mats Carlsson and
Christian Schulte},
editor = {Gilles Pesant},
title = {Modeling Universal Instruction Selection},
booktitle = {Principles and Practice of Constraint Programming - 21st International
Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9255},
pages = {609--626},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_42},
doi = {10.1007/978-3-319-23219-5\_42},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BlindellLCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BlindellLCS15a,
author = {Gabriel Hjort Blindell and
Roberto Casta{\~{n}}eda Lozano and
Mats Carlsson and
Christian Schulte},
editor = {Gilles Pesant},
title = {Erratum to: Modeling Universal Instruction Selection},
booktitle = {Principles and Practice of Constraint Programming - 21st International
Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9255},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_49},
doi = {10.1007/978-3-319-23219-5\_49},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BlindellLCS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BeldiceanuCFLPP15,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Xavier Lorca and
Justin Pearson and
Thierry Petit and
Charles Prud'homme},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {A Modelling Pearl with Sortedness Constraints},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {27--41},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/b4dz},
doi = {10.29007/B4DZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BeldiceanuCFLPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GrinchteinCP15,
author = {Olga Grinchtein and
Mats Carlsson and
Justin Pearson},
title = {Testing of a telecommunication protocol using constraint programming},
booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17,
2015},
pages = {1--3},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSTW.2015.7107467},
doi = {10.1109/ICSTW.2015.7107467},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GrinchteinCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/VarshneyMCV15,
author = {Ambuj Varshney and
Luca Mottola and
Mats Carlsson and
Thiemo Voigt},
editor = {Junehwa Song and
Tarek F. Abdelzaher and
Cecilia Mascolo},
title = {Directional Transmissions and Receptions for High-throughput Bulk
Forwarding in Wireless Sensor Networks},
booktitle = {Proceedings of the 13th {ACM} Conference on Embedded Networked Sensor
Systems, SenSys 2015, Seoul, South Korea, November 1-4, 2015},
pages = {351--364},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2809695.2809720},
doi = {10.1145/2809695.2809720},
timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
biburl = {https://dblp.org/rec/conf/sensys/VarshneyMCV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GrinchteinCP15,
author = {Olga Grinchtein and
Mats Carlsson and
Justin Pearson},
editor = {Jasmin Christian Blanchette and
Nikolai Kosmatov},
title = {A Constraint Optimisation Model for Analysis of Telecommunication
Protocol Logs},
booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
Italy, July 22-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {137--154},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21215-9\_9},
doi = {10.1007/978-3-319-21215-9\_9},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/GrinchteinCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Carlsson15,
author = {Mats Carlsson},
title = {Combinatorial Problem Solving for Fair Play},
journal = {{ERCIM} News},
volume = {2015},
number = {100},
year = {2015},
url = {http://ercim-news.ercim.eu/en100/r-i/combinatorial-problem-solving-for-fair-play},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Carlsson15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCFRP14,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
Justin Pearson},
editor = {Barry O'Sullivan},
title = {Linking Prefixes and Suffixes for Constraints Encoded Using Automata
with Accumulators},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {142--157},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_13},
doi = {10.1007/978-3-319-10428-7\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCFRP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/LarsonJC14,
author = {Jeffrey Larson and
Mikael Johansson and
Mats Carlsson},
editor = {Helmut Simonis},
title = {An Integrated Constraint Programming Approach to Scheduling Sports
Leagues with Divisional and Round-Robin Tournaments},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May
19-23, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8451},
pages = {144--158},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07046-9\_11},
doi = {10.1007/978-3-319-07046-9\_11},
timestamp = {Wed, 20 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/LarsonJC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/LozanoCBS14,
author = {Roberto Casta{\~{n}}eda Lozano and
Mats Carlsson and
Gabriel Hjort Blindell and
Christian Schulte},
editor = {Youtao Zhang and
Prasad Kulkarni},
title = {Combinatorial spill code optimization and ultimate coalescing},
booktitle = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
Embedded Systems 2014, {LCTES} '14, Edinburgh, United Kingdom - June
12 - 13, 2014},
pages = {23--32},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2597809.2597815},
doi = {10.1145/2597809.2597815},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/LozanoCBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/CarlssonGP14,
author = {Mats Carlsson and
Olga Grinchtein and
Justin Pearson},
editor = {Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Protocol Log Analysis with Constraint Programming},
booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo
Theories, {SMT} 2014, affiliated with the 26th International Conference
on Computer Aided Verification {(CAV} 2014), the 7th International
Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
International Conference on Theory and Applications of Satisfiability
Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1163},
pages = {17--26},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1163/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/CarlssonGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCFP13,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Justin Pearson},
title = {On the reification of global constraints},
journal = {Constraints An Int. J.},
volume = {18},
number = {1},
pages = {1--6},
year = {2013},
url = {https://doi.org/10.1007/s10601-012-9132-0},
doi = {10.1007/S10601-012-9132-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCFP13a,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Justin Pearson},
title = {On matrices, automata, and double counting in constraint programming},
journal = {Constraints An Int. J.},
volume = {18},
number = {1},
pages = {108--140},
year = {2013},
url = {https://doi.org/10.1007/s10601-012-9134-y},
doi = {10.1007/S10601-012-9134-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCFP13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/LetortCB13,
author = {Arnaud Letort and
Mats Carlsson and
Nicolas Beldiceanu},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {A Synchronized Sweep Algorithm for the \emph{k-dimensional cumulative}
Constraint},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {144--159},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3\_10},
doi = {10.1007/978-3-642-38171-3\_10},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/LetortCB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/LozanoBCDS13,
author = {Roberto Casta{\~{n}}eda Lozano and
Gabriel Hjort Blindell and
Mats Carlsson and
Frej Drejhammar and
Christian Schulte},
editor = {Henk Corporaal and
Sander Stuijk},
title = {Constraint-based code generation},
booktitle = {International Workshop on Software and Compilers for Embedded Systems,
{M-SCOPES} '13, Sankt Goar, Germany, June 19-21, 2013},
pages = {93--95},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463596.2486155},
doi = {10.1145/2463596.2486155},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scopes/LozanoBCDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/RazakarisonCBS13,
author = {Naina Razakarison and
Mats Carlsson and
Nicolas Beldiceanu and
Helmut Simonis},
editor = {Malte Helmert and
Gabriele R{\"{o}}ger},
title = {{GAC} for a Linear Inequality and an Atleast Constraint with an Application
to Learning Simple Polynomials},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
{SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
pages = {149--157},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/socs.v4i1.18280},
doi = {10.1609/SOCS.V4I1.18280},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/RazakarisonCBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CarlssonM12,
author = {Mats Carlsson and
Per Mildner},
title = {SICStus Prolog - The first 25 years},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {1-2},
pages = {35--66},
year = {2012},
url = {https://doi.org/10.1017/S1471068411000482},
doi = {10.1017/S1471068411000482},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CarlssonM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LetortBC12,
author = {Arnaud Letort and
Nicolas Beldiceanu and
Mats Carlsson},
editor = {Michela Milano},
title = {A Scalable Sweep Algorithm for the cumulative Constraint},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {439--454},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_33},
doi = {10.1007/978-3-642-33558-7\_33},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LetortBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LozanoCDS12,
author = {Roberto Casta{\~{n}}eda Lozano and
Mats Carlsson and
Frej Drejhammar and
Christian Schulte},
editor = {Michela Milano},
title = {Constraint-Based Register Allocation and Instruction Scheduling},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {750--766},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_54},
doi = {10.1007/978-3-642-33558-7\_54},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/LozanoCDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BeldiceanuCPR12,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Thierry Petit and
Jean{-}Charles R{\'{e}}gin},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {An O(nlog n) Bound Consistency Algorithm for the Conjunction of an
alldifferent and an Inequality between a Sum of Variables and a Constant,
and its Generalization},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {145--150},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-145},
doi = {10.3233/978-1-61499-098-7-145},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BeldiceanuCPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BeldiceanuCDP11,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sophie Demassey and
Emmanuel Poder},
title = {New filtering for the \emph{cumulative} constraint in the context
of non-overlapping rectangles},
journal = {Ann. Oper. Res.},
volume = {184},
number = {1},
pages = {27--50},
year = {2011},
url = {https://doi.org/10.1007/s10479-010-0731-0},
doi = {10.1007/S10479-010-0731-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/BeldiceanuCDP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/DamljanovicPLCCEA11,
author = {Danica Damljanovic and
Johann Petrak and
Mihai Lupu and
Hamish Cunningham and
Mats Carlsson and
Gunnar Engstrom and
Bo Andersson},
editor = {Raul Garcia{-}Castro and
Dieter Fensel and
Grigoris Antoniou},
title = {Random Indexing for Finding Similar Nodes within Large {RDF} Graphs},
booktitle = {The Semantic Web: {ESWC} 2011 Workshops - {ESWC} 2011 Workshops, Heraklion,
Greece, May 29-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7117},
pages = {156--171},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25953-1\_13},
doi = {10.1007/978-3-642-25953-1\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/DamljanovicPLCCEA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/red/DamljanovicPLCC11,
author = {Danica Damljanovic and
Johann Petrak and
Mihai Lupu and
Hamish Cunningham and
Mats Carlsson and
Gunnar Engstrom and
Bo Andersson},
editor = {Maria{-}Esther Vidal and
Edna Ruckhaus and
Zo{\'{e}} Lacroix},
title = {Random Indexing for Finding Similar Nodes within Large {RDF} graphs},
booktitle = {Proceedings of the Fourth International Workshop on REsource Discovery,
RED@ESWC 2011, Heraklion, Greece, May 30, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {737},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-737/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/red/DamljanovicPLCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SimonisDFMQC10,
author = {Helmut Simonis and
Paul Davern and
Jacob Feldman and
Deepak Mehta and
Luis Quesada and
Mats Carlsson},
editor = {David Cohen},
title = {A Generic Visualization Platform for {CP}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {460--474},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_37},
doi = {10.1007/978-3-642-15396-9\_37},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SimonisDFMQC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCFP10,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Justin Pearson},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {On Matrices, Automata, and Double Counting},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 7th International Conference,
{CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {10--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_4},
doi = {10.1007/978-3-642-13520-0\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuCFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-5640,
author = {Mats Carlsson and
Per Mildner},
title = {SICStus Prolog -- the first 25 years},
journal = {CoRR},
volume = {abs/1011.5640},
year = {2010},
url = {http://arxiv.org/abs/1011.5640},
eprinttype = {arXiv},
eprint = {1011.5640},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-5640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AggounBCF10,
author = {Abder Aggoun and
Nicolas Beldiceanu and
Mats Carlsson and
Fran{\c{c}}ois Fages},
title = {Integrating Rule-Based Modelling and Constraint Programming for Solving
Industrial Packing Problems},
journal = {{ERCIM} News},
volume = {2010},
number = {81},
year = {2010},
url = {http://ercim-news.ercim.eu/en81/special/modelling-and-constraint-programming-for-solving-industrial-packing-problems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/AggounBCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/FlenerCS09,
author = {Pierre Flener and
Mats Carlsson and
Christian Schulte},
title = {Constraint Programming in Sweden},
journal = {{IEEE} Intell. Syst.},
volume = {24},
number = {2},
pages = {87--89},
year = {2009},
url = {https://doi.org/10.1109/MIS.2009.25},
doi = {10.1109/MIS.2009.25},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/FlenerCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AgrenBCSTZ09,
author = {Magnus {\AA}gren and
Nicolas Beldiceanu and
Mats Carlsson and
Mohamed Sbihi and
Charlotte Truchet and
St{\'{e}}phane Zampelli},
editor = {Willem Jan van Hoeve and
John N. Hooker},
title = {Six Ways of Integrating Symmetries within Non-overlapping Constraints},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 6th International Conference,
{CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5547},
pages = {11--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01929-6\_3},
doi = {10.1007/978-3-642-01929-6\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/AgrenBCSTZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CarlssonBM08,
author = {Mats Carlsson and
Nicolas Beldiceanu and
Julien Martin},
editor = {Peter J. Stuckey},
title = {A Geometric Constraint over k-Dimensional Objects and Shapes Subject
to Business Rules},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {220--234},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_15},
doi = {10.1007/978-3-540-85958-1\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CarlssonBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCP08,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Emmanuel Poder},
editor = {Laurent Perron and
Michael A. Trick},
title = {New Filtering for the cumulative Constraint in the Context of Non-Overlapping
Rectangles},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {21--35},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_5},
doi = {10.1007/978-3-540-68155-7\_5},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issoc/ZhengJZCH08,
author = {Liang Rong and
Fredrik Jonsson and
Lirong Zheng and
Mats Carlsson and
Charlotta Hedenas},
title = {{RF} transmitter architecture investigation for power efficient mobile
WiMAX applications},
booktitle = {2008 {IEEE} International Symposium on System-on-Chip, {SOC} 2008,
Tampere, Finland, November 5-6, 2008},
pages = {1--4},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ISSOC.2008.4694883},
doi = {10.1109/ISSOC.2008.4694883},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/issoc/ZhengJZCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDP07,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sophie Demassey and
Thierry Petit},
title = {Global Constraint Catalogue: Past, Present and Future},
journal = {Constraints An Int. J.},
volume = {12},
number = {1},
pages = {21--62},
year = {2007},
url = {https://doi.org/10.1007/s10601-006-9010-8},
doi = {10.1007/S10601-006-9010-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCDP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCPST07,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Emmanuel Poder and
R. Sadek and
Charlotte Truchet},
editor = {Christian Bessiere},
title = {A Generic Geometrical Constraint Kernel in Space and Time for Handling
Polymorphic \emph{k}-Dimensional Objects},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {180--194},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_15},
doi = {10.1007/978-3-540-74970-7\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCPST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/BeldiceanuCT06,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sven Thiel},
title = {Sweep synchronization as a global propagation mechanism},
journal = {Comput. Oper. Res.},
volume = {33},
number = {10},
pages = {2835--2851},
year = {2006},
url = {https://doi.org/10.1016/j.cor.2005.01.013},
doi = {10.1016/J.COR.2005.01.013},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/BeldiceanuCT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCDP06,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sophie Demassey and
Thierry Petit},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Graph Properties Based Filtering},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {59--74},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_7},
doi = {10.1007/11889205\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2005,
editor = {Brahim Hnich and
Mats Carlsson and
Fran{\c{c}}ois Fages and
Francesca Rossi},
title = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3978},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11754602},
doi = {10.1007/11754602},
isbn = {3-540-34215-X},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csclp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/SchulteC06,
author = {Christian Schulte and
Mats Carlsson},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Finite Domain Constraint Programming Systems},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {495--526},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80018-0},
doi = {10.1016/S1574-6526(06)80018-0},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/reference/fai/SchulteC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDP05,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Romuald Debruyne and
Thierry Petit},
title = {Reformulation of Global Constraints Based on Constraints Checkers},
journal = {Constraints An Int. J.},
volume = {10},
number = {4},
pages = {339--362},
year = {2005},
url = {https://doi.org/10.1007/s10601-005-2809-x},
doi = {10.1007/S10601-005-2809-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCRT05,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Jean{-}Xavier Rampon and
Charlotte Truchet},
editor = {Peter van Beek},
title = {Graph Invariants as Necessary Conditions for Global Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {92--106},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_10},
doi = {10.1007/11564751\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isb/AmeurACW04,
author = {Adam Ameur and
Erik Aurell and
Mats Carlsson and
Jakub Orzechowski Westholm},
title = {Global gene expression analysis by combinatorial optimization},
journal = {Silico Biol.},
volume = {4},
number = {2},
pages = {225--241},
year = {2004},
url = {http://content.iospress.com/articles/in-silico-biology/isb00130},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isb/AmeurACW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apbc/CarlssonC04,
author = {Mats Carlsson and
Nicolas Beldiceanu},
editor = {Yi{-}Ping Phoebe Chen},
title = {Dispensation Order Generation for Pyrosequencing},
booktitle = {Second Asia-Pacific Bioinformatics Conference {(APBC} 2004), January
18-22, 2004, Dunedin, New Zealand},
series = {{CRPIT}},
volume = {29},
pages = {327--332},
publisher = {Australian Computer Society},
year = {2004},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV29Carlsson.html},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apbc/CarlssonC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCP04,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Thierry Petit},
editor = {Mark Wallace},
title = {Deriving Filtering Algorithms from Constraint Checkers},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {107--122},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_11},
doi = {10.1007/978-3-540-30201-8\_11},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CarlssonB04,
author = {Mats Carlsson and
Nicolas Beldiceanu},
editor = {David A. Schmidt},
title = {From Constraints to Finite Automata to Filtering Algorithms},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {94--108},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_8},
doi = {10.1007/978-3-540-24725-8\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CarlssonB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuC02,
author = {Nicolas Beldiceanu and
Mats Carlsson},
editor = {Pascal Van Hentenryck},
title = {A New Multi-resource cumulatives Constraint with Negative Heights},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {63--79},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_5},
doi = {10.1007/3-540-46135-3\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/AgrenSBC02,
author = {Magnus {\AA}gren and
Tam{\'{a}}s Szeredi and
Nicolas Beldiceanu and
Mats Carlsson},
editor = {Alexandre Tessier},
title = {Tracing and Explaining Execution of {CLP(FD)} Programs},
booktitle = {Proceedings of the 12th International Workshop on Logic Programming
Environments, {WLPE} 2002, Copenhagen, Denmark, July 31, 2002},
pages = {1--16},
year = {2002},
url = {https://arxiv.org/abs/cs/0207047},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/AgrenSBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GuptaPACH01,
author = {Gopal Gupta and
Enrico Pontelli and
Khayri A. M. Ali and
Mats Carlsson and
Manuel V. Hermenegildo},
title = {Parallel execution of prolog programs: a survey},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {23},
number = {4},
pages = {472--602},
year = {2001},
url = {https://doi.org/10.1145/504083.504085},
doi = {10.1145/504083.504085},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/GuptaPACH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuC01,
author = {Nicolas Beldiceanu and
Mats Carlsson},
editor = {Toby Walsh},
title = {Sweep as a Generic Pruning Technique Applied to the Non-overlapping
Rectangles Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {377--391},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_26},
doi = {10.1007/3-540-45578-7\_26},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BeldiceanuC01,
author = {Nicolas Beldiceanu and
Mats Carlsson},
editor = {Philippe Codognet},
title = {Revisiting the Cardinality Operator and Introducing the Cardinality-Path
Constraint Family},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {59--73},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_12},
doi = {10.1007/3-540-45635-X\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BeldiceanuC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NassenCS01,
author = {Henrik N{\"{a}}ss{\'{e}}n and
Mats Carlsson and
Konstantinos Sagonas},
title = {Instruction Merging and Specialization in the SICStus Prolog Virtual
Machine},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {49--60},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773191},
doi = {10.1145/773184.773191},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/NassenCS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/CarlssonRA99,
author = {Mats Carlsson and
Jeremy Rogers and
Hans {\AA}hlfeldt},
title = {Aggregation and reclassification-assessment of {GALEN} methods in
the domain of thoracic surgery},
booktitle = {{AMIA} 1999, American Medical Informatics Association Annual Symposium,
Washington, DC, USA, November 6-10, 1999},
publisher = {{AMIA}},
year = {1999},
url = {https://knowledge.amia.org/amia-55142-a1999a-1.591078/t-001-1.593353/f-001-1.593354/a-006-1.593949/a-007-1.593946},
timestamp = {Wed, 17 Apr 2024 11:48:49 +0200},
biburl = {https://dblp.org/rec/conf/amia/CarlssonRA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CarlssonKA99,
author = {Mats Carlsson and
Per Kreuger and
Emil {\AA}str{\"{o}}m},
editor = {Gopal Gupta},
title = {Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing},
booktitle = {Practical Aspects of Declarative Languages, First International Workshop,
{PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1551},
pages = {335--349},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49201-1\_23},
doi = {10.1007/3-540-49201-1\_23},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/padl/CarlssonKA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/EskilsonC98,
author = {Jesper Eskilson and
Mats Carlsson},
editor = {Konstantinos Sagonas},
title = {SICStus {MT} - Multithreaded Execution Environment for SICStus Prolog},
booktitle = {Proceedings of the International Workshop on Implementation Technology
for Programming Languages based on Logic, held in conjunction with
the Joint International Conference and Symposium on Logic Programming,
Manchester, UK, Saturday 20th June, 1998},
pages = {59--71},
year = {1998},
timestamp = {Wed, 20 Jun 2018 17:50:49 +0200},
biburl = {https://dblp.org/rec/conf/iclp/EskilsonC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/CarlssonKAW98,
author = {Mats Carlsson and
Daniel Karlsson and
Hans {\AA}hlfeldt and
Ove Wigertz},
editor = {Branko Cesnik and
Alexa Thorlichen McCray and
Jean{-}Raoul Scherrer},
title = {Design and Application of a Terminology Management System},
booktitle = {{MEDINFO} '98 - 9th World Congress on Medical Informatics, Seoul,
South Korea, August 14-21, 1998},
series = {Studies in Health Technology and Informatics},
volume = {52},
pages = {207--211},
publisher = {{IOS} Press},
year = {1998},
url = {https://doi.org/10.3233/978-1-60750-896-0-207},
doi = {10.3233/978-1-60750-896-0-207},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medinfo/CarlssonKAW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/EskilsonC98,
author = {Jesper Eskilson and
Mats Carlsson},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {SICStus {MT} - {A} Multithreaded Execution Environment for SICStus
Prolog},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {36--53},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056606},
doi = {10.1007/BFB0056606},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/EskilsonC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CarlssonOC97,
author = {Mats Carlsson and
Greger Ottosson and
Bj{\"{o}}rn Carlson},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {An Open-Ended Finite Domain Constraint Solver},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {191--206},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033845},
doi = {10.1007/BFB0033845},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CarlssonOC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GuptaC96a,
author = {Gopal Gupta and
Mats Carlsson},
title = {Guest Editors' Introduction: High-Performance Implementations of Logic
Programming Systems},
journal = {J. Log. Program.},
volume = {29},
number = {1-3},
pages = {1--3},
year = {1996},
url = {https://doi.org/10.1016/S0743-1066(96)00066-0},
doi = {10.1016/S0743-1066(96)00066-0},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/GuptaC96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CarlssonCO96,
author = {Mats Carlsson and
Bj{\"{o}}rn Carlson and
Greger Ottosson},
editor = {Eugene C. Freuder},
title = {Towards an Open Finite Domain Constraint Solver},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {531--532},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_101},
doi = {10.1007/3-540-61551-2\_101},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CarlssonCO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarlsonC95,
author = {Bj{\"{o}}rn Carlson and
Mats Carlsson},
editor = {Leon Sterling},
title = {Compiling and Executing Disjunctions of Finite Domain Constraints},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {117--131},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CarlsonC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CarlsonCJ95,
author = {Bj{\"{o}}rn Carlson and
Mats Carlsson and
Sverker Janson},
editor = {John W. Lloyd},
title = {The implementation of {AKL(FD)}},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {227--241},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300566},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/CarlsonCJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarlsonCD94,
author = {Bj{\"{o}}rn Carlson and
Mats Carlsson and
Daniel Diaz},
editor = {Pascal Van Hentenryck},
title = {Entailment of Finite Domain Constraints},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {339--353},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CarlsonCD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CarlssonH93,
author = {Mats Carlsson and
Thomas Hallgren},
editor = {John Williams},
title = {{FUDGETS:} {A} Graphical User Interface in a Lazy Functional Language},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {321--330},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165228},
doi = {10.1145/165180.165228},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/CarlssonH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarlssonG93,
author = {Mats Carlsson and
Mats Grindal},
editor = {David Scott Warren},
title = {Automatic Frequency Assignment for Cellular Telephones Using Constraint
Satisfaction Techniques},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {647--665},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CarlssonG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/SzerediYC91,
author = {P{\'{e}}ter Szeredi and
Rong Yang and
Mats Carlsson},
editor = {Emile H. L. Aarts and
Jan van Leeuwen and
Martin Rem},
title = {Interfacing Engines and Schedulers in OR-Parallel Prolog Systems},
booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {506},
pages = {439--453},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54152-7\_79},
doi = {10.1007/3-540-54152-7\_79},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/SzerediYC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0016517,
author = {Mats Carlsson},
title = {Design and implementation of an or-parallel Prolog engine},
school = {Royal Institute of Technology, Stockholm, Sweden},
year = {1990},
timestamp = {Tue, 18 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0016517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Carlsson89,
author = {Mats Carlsson},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {3--16},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Carlsson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ApplebyCHS88,
author = {Karen Appleby and
Mats Carlsson and
Seif Haridi and
Dan Sahlin},
title = {Garbage Collection for Prolog Based on {WAM}},
journal = {Commun. {ACM}},
volume = {31},
number = {6},
pages = {719--741},
year = {1988},
url = {https://doi.org/10.1145/62959.62968},
doi = {10.1145/62959.62968},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ApplebyCHS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/LuskBDOOSWCSHBCCH88,
author = {Ewing L. Lusk and
Ralph Butler and
Terry Disz and
Robert Olson and
Ross A. Overbeek and
Rick L. Stevens and
David H. D. Warren and
Alan Calderwood and
P{\'{e}}ter Szeredi and
Seif Haridi and
Per Brand and
Mats Carlsson and
Andrzej Ciepielewski and
Bogumil Hausman},
title = {The Aurora Or-Parallel Prolog System},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {819--830},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/LuskBDOOSWCSHBCCH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarlssonDO88,
author = {Mats Carlsson and
Kenneth J. Danhof and
Ross A. Overbeek},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {A Simplified Approach to the Implementation of AND-Parallelism in
an OR-Parallel Environment},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {1565--1577},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CarlssonDO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Carlsson87,
author = {Mats Carlsson},
editor = {Jean{-}Louis Lassez},
title = {Freeze, Indexing, and Other Implementation Issues in the {WAM}},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {40--58},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Carlsson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Carlsson85,
author = {Mats Carlsson},
title = {A Microcoded Unifier for Lisp Machine Prolog},
booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
USA, July 15-18, 1985},
pages = {162--171},
publisher = {{IEEE-CS}},
year = {1985},
timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
biburl = {https://dblp.org/rec/conf/slp/Carlsson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Carlsson84,
author = {Mats Carlsson},
title = {On Implementing Prolog in Functional Programming},
journal = {New Gener. Comput.},
volume = {2},
number = {4},
pages = {347--359},
year = {1984},
url = {https://doi.org/10.1007/BF03037326},
doi = {10.1007/BF03037326},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Carlsson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/KahnC84,
author = {Kenneth M. Kahn and
Mats Carlsson},
title = {The Compilation of Prolog Programs without the Use of a Prolog Compiler},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {348--355},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 10:45:49 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/KahnC84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Carlsson84,
author = {Mats Carlsson},
title = {On Implementing Prolog in Functional Programming},
booktitle = {Proceedings of the 1984 International Symposium on Logic Programming,
Atlantic City, New Jersey, USA, February 6-9, 1984},
pages = {154--159},
publisher = {{IEEE-CS}},
year = {1984},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/Carlsson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/eh/campbell84/KahnC84,
author = {Kenneth M. Kahn and
Mats Carlsson},
editor = {John A. Campbell},
title = {How to Implement Prolog on a {LISP} Machine},
booktitle = {Implementations of Prolog.},
pages = {117--134},
publisher = {Ellis Horwood/Halsted Press/Wiley},
year = {1984},
timestamp = {Mon, 05 Aug 2019 16:47:22 +0200},
biburl = {https://dblp.org/rec/books/eh/campbell84/KahnC84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
