BibTeX records: Mats Carlsson

download as .bib file

@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},
  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 = {Thu, 21 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/DekkerBCFM17},
  bibsource = {dblp computer science bibliography, http://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   = {European Journal of Operational Research},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/eor/CarlssonJL17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/MossigeGSMC17,
  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},
  booktitle = {Principles and Practice of Constraint Programming - 23rd International
               Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
               1, 2017, Proceedings},
  pages     = {387--404},
  year      = {2017},
  crossref  = {DBLP:conf/cp/2017},
  url       = {https://doi.org/10.1007/978-3-319-66158-2_25},
  doi       = {10.1007/978-3-319-66158-2_25},
  timestamp = {Wed, 23 Aug 2017 10:12:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/MossigeGSMC17},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {21--29},
  year      = {2017},
  crossref  = {DBLP:conf/cpaior/2017},
  url       = {https://doi.org/10.1007/978-3-319-59776-8_2},
  doi       = {10.1007/978-3-319-59776-8_2},
  timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/BeldiceanuCDPSS17},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2017},
  crossref  = {DBLP:conf/qrs/2017c},
  url       = {https://doi.org/10.1109/QRS-C.2017.92},
  doi       = {10.1109/QRS-C.2017.92},
  timestamp = {Wed, 16 Aug 2017 14:30:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/qrs/CarlssonGP17},
  bibsource = {dblp computer science bibliography, http://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},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/BeldiceanuCDS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GotliebCLMP16,
  author    = {Arnaud Gotlieb and
               Mats Carlsson and
               Marius Liaaen and
               Dusica Marijan and
               Alexandre Petillon},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016},
  url       = {http://www.aaai.org/ocs/index.php/IAAI/IAAI16/paper/view/12116},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/GotliebCLMP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cc/LozanoCBS16,
  author    = {Roberto Casta{\~{n}}eda Lozano and
               Mats Carlsson and
               Gabriel Hjort Blindell and
               Christian Schulte},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/cc/2016},
  url       = {http://doi.acm.org/10.1145/2892208.2892237},
  doi       = {10.1145/2892208.2892237},
  timestamp = {Wed, 09 Mar 2016 08:03:50 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cc/LozanoCBS16},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {13--29},
  year      = {2016},
  crossref  = {DBLP:conf/cp/2016},
  url       = {https://doi.org/10.1007/978-3-319-44953-1_2},
  doi       = {10.1007/978-3-319-44953-1_2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/ArafailovaBCFRP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GotliebCMP16,
  author    = {Arnaud Gotlieb and
               Mats Carlsson and
               Dusica Marijan and
               Alexandre Petillon},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/icsoft/2016-1},
  url       = {https://doi.org/10.5220/0005983400480058},
  doi       = {10.5220/0005983400480058},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icsoft/GotliebCMP16},
  bibsource = {dblp computer science bibliography, http://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},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/ArafailovaBDCFR16},
  bibsource = {dblp computer science bibliography, http://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},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/LetortCB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BlindellLCS15,
  author    = {Gabriel Hjort Blindell and
               Roberto Casta{\~{n}}eda Lozano and
               Mats Carlsson and
               Christian Schulte},
  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},
  pages     = {609--626},
  year      = {2015},
  crossref  = {DBLP:conf/cp/2015},
  url       = {https://doi.org/10.1007/978-3-319-23219-5_42},
  doi       = {10.1007/978-3-319-23219-5_42},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BlindellLCS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BlindellLCS15a,
  author    = {Gabriel Hjort Blindell and
               Roberto Casta{\~{n}}eda Lozano and
               Mats Carlsson and
               Christian Schulte},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/cp/2015},
  url       = {https://doi.org/10.1007/978-3-319-23219-5_49},
  doi       = {10.1007/978-3-319-23219-5_49},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BlindellLCS15a},
  bibsource = {dblp computer science bibliography, http://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},
  title     = {A Modelling Pearl with Sortedness Constraints},
  booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
               Georgia, October 16-19, 2015},
  pages     = {27--41},
  year      = {2015},
  crossref  = {DBLP:conf/gcai/2015},
  url       = {http://www.easychair.org/publications/paper/245308},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gcai/BeldiceanuCFLPP15},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2015},
  crossref  = {DBLP:conf/icst/2015w},
  url       = {https://doi.org/10.1109/ICSTW.2015.7107467},
  doi       = {10.1109/ICSTW.2015.7107467},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/GrinchteinCP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sensys/VarshneyMCV15,
  author    = {Ambuj Varshney and
               Luca Mottola and
               Mats Carlsson and
               Thiemo Voigt},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/sensys/2015},
  url       = {http://doi.acm.org/10.1145/2809695.2809720},
  doi       = {10.1145/2809695.2809720},
  timestamp = {Wed, 30 Nov 2016 21:26:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sensys/VarshneyMCV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tap/GrinchteinCP15,
  author    = {Olga Grinchtein and
               Mats Carlsson and
               Justin Pearson},
  title     = {A Constraint Optimisation Model for Analysis of Telecommunication
               Protocol Logs},
  booktitle = {Tests and Proofs - 9th International Conference, {TAP} 2015, Held
               as Part of {STAF} 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings},
  pages     = {137--154},
  year      = {2015},
  crossref  = {DBLP:conf/tap/2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9_9},
  doi       = {10.1007/978-3-319-21215-9_9},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tap/GrinchteinCP15},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ercim/Carlsson15},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {142--157},
  year      = {2014},
  crossref  = {DBLP:conf/cp/2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7_13},
  doi       = {10.1007/978-3-319-10428-7_13},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BeldiceanuCFRP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/LarsonJC14,
  author    = {Jeffrey Larson and
               Mikael Johansson and
               Mats Carlsson},
  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},
  pages     = {144--158},
  year      = {2014},
  crossref  = {DBLP:conf/cpaior/2014},
  url       = {https://doi.org/10.1007/978-3-319-07046-9_11},
  doi       = {10.1007/978-3-319-07046-9_11},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/LarsonJC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/LozanoCBS14,
  author    = {Roberto Casta{\~{n}}eda Lozano and
               Mats Carlsson and
               Gabriel Hjort Blindell and
               Christian Schulte},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/lctrts/2014},
  url       = {http://doi.acm.org/10.1145/2597809.2597815},
  doi       = {10.1145/2597809.2597815},
  timestamp = {Fri, 06 Jun 2014 09:26:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lctrts/LozanoCBS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/smt/CarlssonGP14,
  author    = {Mats Carlsson and
               Olga Grinchtein and
               Justin Pearson},
  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.},
  pages     = {17--26},
  year      = {2014},
  crossref  = {DBLP:conf/smt/2014},
  url       = {http://ceur-ws.org/Vol-1163/paper-04.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/smt/CarlssonGP14},
  bibsource = {dblp computer science bibliography, http://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},
  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 = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/BeldiceanuCFP13},
  bibsource = {dblp computer science bibliography, http://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},
  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 = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/BeldiceanuCFP13a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/LetortCB13,
  author    = {Arnaud Letort and
               Mats Carlsson and
               Nicolas Beldiceanu},
  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},
  pages     = {144--159},
  year      = {2013},
  crossref  = {DBLP:conf/cpaior/2013},
  url       = {https://doi.org/10.1007/978-3-642-38171-3_10},
  doi       = {10.1007/978-3-642-38171-3_10},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/LetortCB13},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/scopes/2013},
  url       = {http://doi.acm.org/10.1145/2463596.2486155},
  doi       = {10.1145/2463596.2486155},
  timestamp = {Mon, 29 Sep 2014 18:51:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scopes/LozanoBCDS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/socs/RazakarisonCBS13,
  author    = {Naina Razakarison and
               Mats Carlsson and
               Nicolas Beldiceanu and
               Helmut Simonis},
  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.},
  year      = {2013},
  crossref  = {DBLP:conf/socs/2013},
  url       = {http://www.aaai.org/ocs/index.php/SOCS/SOCS13/paper/view/7215},
  timestamp = {Tue, 20 Aug 2013 16:04:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/socs/RazakarisonCBS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tplp/CarlssonM12,
  author    = {Mats Carlsson and
               Per Mildner},
  title     = {SICStus Prolog - The first 25 years},
  journal   = {{TPLP}},
  volume    = {12},
  number    = {1-2},
  pages     = {35--66},
  year      = {2012},
  url       = {https://doi.org/10.1017/S1471068411000482},
  doi       = {10.1017/S1471068411000482},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/CarlssonM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/LetortBC12,
  author    = {Arnaud Letort and
               Nicolas Beldiceanu and
               Mats Carlsson},
  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},
  pages     = {439--454},
  year      = {2012},
  crossref  = {DBLP:conf/cp/2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7_33},
  doi       = {10.1007/978-3-642-33558-7_33},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/LetortBC12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/LozanoCDS12,
  author    = {Roberto Casta{\~{n}}eda Lozano and
               Mats Carlsson and
               Frej Drejhammar and
               Christian Schulte},
  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},
  pages     = {750--766},
  year      = {2012},
  crossref  = {DBLP:conf/cp/2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7_54},
  doi       = {10.1007/978-3-642-33558-7_54},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/LozanoCDS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BeldiceanuCPR12,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson and
               Thierry Petit and
               Jean{-}Charles R{\'{e}}gin},
  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},
  pages     = {145--150},
  year      = {2012},
  crossref  = {DBLP:conf/ecai/2012},
  url       = {https://doi.org/10.3233/978-1-61499-098-7-145},
  doi       = {10.3233/978-1-61499-098-7-145},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecai/BeldiceanuCPR12},
  bibsource = {dblp computer science bibliography, http://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   = {Annals {OR}},
  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 = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/anor/BeldiceanuCDP11},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {156--171},
  year      = {2011},
  crossref  = {DBLP:conf/esws/2011w},
  url       = {https://doi.org/10.1007/978-3-642-25953-1_13},
  doi       = {10.1007/978-3-642-25953-1_13},
  timestamp = {Wed, 24 May 2017 08:29:35 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esws/DamljanovicPLCCEA11},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {460--474},
  year      = {2010},
  crossref  = {DBLP:conf/cp/2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9_37},
  doi       = {10.1007/978-3-642-15396-9_37},
  timestamp = {Sat, 21 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/SimonisDFMQC10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCFP10,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson and
               Pierre Flener and
               Justin Pearson},
  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},
  pages     = {10--24},
  year      = {2010},
  crossref  = {DBLP:conf/cpaior/2010},
  url       = {https://doi.org/10.1007/978-3-642-13520-0_4},
  doi       = {10.1007/978-3-642-13520-0_4},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/BeldiceanuCFP10},
  bibsource = {dblp computer science bibliography, http://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},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1011-5640},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ercim/AggounBCF10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/expert/FlenerCS09,
  author    = {Pierre Flener and
               Mats Carlsson and
               Christian Schulte},
  title     = {Constraint Programming in Sweden},
  journal   = {{IEEE} Intelligent Systems},
  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, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/expert/FlenerCS09},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {11--25},
  year      = {2009},
  crossref  = {DBLP:conf/cpaior/2009},
  url       = {https://doi.org/10.1007/978-3-642-01929-6_3},
  doi       = {10.1007/978-3-642-01929-6_3},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/AgrenBCSTZ09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/CarlssonBM08,
  author    = {Mats Carlsson and
               Nicolas Beldiceanu and
               Julien Martin},
  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},
  pages     = {220--234},
  year      = {2008},
  crossref  = {DBLP:conf/cp/2008},
  url       = {https://doi.org/10.1007/978-3-540-85958-1_15},
  doi       = {10.1007/978-3-540-85958-1_15},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/CarlssonBM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCP08,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson and
               Emmanuel Poder},
  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},
  pages     = {21--35},
  year      = {2008},
  crossref  = {DBLP:conf/cpaior/2008},
  url       = {https://doi.org/10.1007/978-3-540-68155-7_5},
  doi       = {10.1007/978-3-540-68155-7_5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/BeldiceanuCP08},
  bibsource = {dblp computer science bibliography, http://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},
  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 = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/BeldiceanuCDP07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCPST07,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson and
               Emmanuel Poder and
               R. Sadek and
               Charlotte Truchet},
  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},
  pages     = {180--194},
  year      = {2007},
  crossref  = {DBLP:conf/cp/2007},
  url       = {https://doi.org/10.1007/978-3-540-74970-7_15},
  doi       = {10.1007/978-3-540-74970-7_15},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BeldiceanuCPST07},
  bibsource = {dblp computer science bibliography, http://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   = {Computers {\&} {OR}},
  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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cor/BeldiceanuCT06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCDP06,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson and
               Sophie Demassey and
               Thierry Petit},
  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},
  pages     = {59--74},
  year      = {2006},
  crossref  = {DBLP:conf/cp/2006},
  url       = {https://doi.org/10.1007/11889205_7},
  doi       = {10.1007/11889205_7},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BeldiceanuCDP06},
  bibsource = {dblp computer science bibliography, http://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, 30 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csclp/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:reference/fai/SchulteC06,
  author    = {Christian Schulte and
               Mats Carlsson},
  title     = {Finite Domain Constraint Programming Systems},
  booktitle = {Handbook of Constraint Programming},
  pages     = {495--526},
  year      = {2006},
  crossref  = {DBLP:reference/fai/2},
  url       = {https://doi.org/10.1016/S1574-6526(06)80018-0},
  doi       = {10.1016/S1574-6526(06)80018-0},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/fai/SchulteC06},
  bibsource = {dblp computer science bibliography, http://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},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/constraints/BeldiceanuCDP05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCRT05,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson and
               Jean{-}Xavier Rampon and
               Charlotte Truchet},
  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},
  pages     = {92--106},
  year      = {2005},
  crossref  = {DBLP:conf/cp/2005},
  url       = {https://doi.org/10.1007/11564751_10},
  doi       = {10.1007/11564751_10},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BeldiceanuCRT05},
  bibsource = {dblp computer science bibliography, http://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   = {In Silico Biology},
  volume    = {4},
  number    = {2},
  pages     = {225--241},
  year      = {2004},
  url       = {http://content.iospress.com/articles/in-silico-biology/isb00130},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/isb/AmeurACW04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apbc/CarlssonC04,
  author    = {Mats Carlsson and
               Nicolas Beldiceanu},
  title     = {Dispensation Order Generation for Pyrosequencing},
  booktitle = {Second Asia-Pacific Bioinformatics Conference {(APBC} 2004), January
               18-22, 2004, Dunedin, New Zealand},
  pages     = {327--332},
  year      = {2004},
  crossref  = {DBLP:conf/apbc/2004},
  url       = {http://crpit.com/confpapers/CRPITV29Carlsson.pdf},
  timestamp = {Fri, 21 Jan 2005 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/apbc/CarlssonC04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCP04,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson and
               Thierry Petit},
  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},
  pages     = {107--122},
  year      = {2004},
  crossref  = {DBLP:conf/cp/2004},
  url       = {https://doi.org/10.1007/978-3-540-30201-8_11},
  doi       = {10.1007/978-3-540-30201-8_11},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BeldiceanuCP04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/CarlssonB04,
  author    = {Mats Carlsson and
               Nicolas Beldiceanu},
  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},
  pages     = {94--108},
  year      = {2004},
  crossref  = {DBLP:conf/esop/2004},
  url       = {https://doi.org/10.1007/978-3-540-24725-8_8},
  doi       = {10.1007/978-3-540-24725-8_8},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/CarlssonB04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuC02,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson},
  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},
  pages     = {63--79},
  year      = {2002},
  crossref  = {DBLP:conf/cp/2002},
  url       = {https://doi.org/10.1007/3-540-46135-3_5},
  doi       = {10.1007/3-540-46135-3_5},
  timestamp = {Mon, 29 May 2017 13:16:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BeldiceanuC02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpe/AgrenSBC02,
  author    = {Magnus {\AA}gren and
               Tam{\'{a}}s Szeredi and
               Nicolas Beldiceanu and
               Mats Carlsson},
  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},
  crossref  = {DBLP:conf/lpe/2002},
  url       = {http://arxiv.org/abs/cs.SE/0207047},
  timestamp = {Wed, 30 Nov 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpe/AgrenSBC02},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/504083.504085},
  doi       = {10.1145/504083.504085},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/toplas/GuptaPACH01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuC01,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson},
  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},
  pages     = {377--391},
  year      = {2001},
  crossref  = {DBLP:conf/cp/2001},
  url       = {https://doi.org/10.1007/3-540-45578-7_26},
  doi       = {10.1007/3-540-45578-7_26},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/BeldiceanuC01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BeldiceanuC01,
  author    = {Nicolas Beldiceanu and
               Mats Carlsson},
  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},
  pages     = {59--73},
  year      = {2001},
  crossref  = {DBLP:conf/iclp/2001},
  url       = {https://doi.org/10.1007/3-540-45635-X_12},
  doi       = {10.1007/3-540-45635-X_12},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/BeldiceanuC01},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2001},
  crossref  = {DBLP:conf/ppdp/2001},
  timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/NassenCS01},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {1999},
  crossref  = {DBLP:conf/amia/1999},
  url       = {http://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 = {Tue, 30 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/amia/CarlssonRA99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/padl/CarlssonKA99,
  author    = {Mats Carlsson and
               Per Kreuger and
               Emil {\AA}str{\"{o}}m},
  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},
  pages     = {335--349},
  year      = {1999},
  crossref  = {DBLP:conf/padl/1999},
  url       = {https://doi.org/10.1007/3-540-49201-1_23},
  doi       = {10.1007/3-540-49201-1_23},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/padl/CarlssonKA99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/EskilsonC98,
  author    = {Jesper Eskilson and
               Mats Carlsson},
  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, U.K., Saturday 20th June, 1998},
  pages     = {59--71},
  year      = {1998},
  crossref  = {DBLP:conf/iclp/1998w1},
  timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/EskilsonC98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/CarlssonKAW98,
  author    = {Mats Carlsson and
               Daniel Karlsson and
               Hans {\AA}hlfeldt and
               Ove Wigertz},
  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.},
  pages     = {207--211},
  year      = {1998},
  crossref  = {DBLP:conf/medinfo/1998},
  url       = {https://doi.org/10.3233/978-1-60750-896-0-207},
  doi       = {10.3233/978-1-60750-896-0-207},
  timestamp = {Wed, 31 May 2017 09:28:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/medinfo/CarlssonKAW98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/plilp/EskilsonC98,
  author    = {Jesper Eskilson and
               Mats Carlsson},
  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},
  pages     = {36--53},
  year      = {1998},
  crossref  = {DBLP:conf/plilp/1998},
  url       = {https://doi.org/10.1007/BFb0056606},
  doi       = {10.1007/BFb0056606},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/plilp/EskilsonC98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CarlssonOC97,
  author    = {Mats Carlsson and
               Greger Ottosson and
               Bj{\"{o}}rn Carlson},
  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},
  pages     = {191--206},
  year      = {1997},
  crossref  = {DBLP:conf/plilp/1997},
  url       = {https://doi.org/10.1007/BFb0033845},
  doi       = {10.1007/BFb0033845},
  timestamp = {Mon, 22 May 2017 17:11:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/plilp/CarlssonOC97},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jlp/GuptaC96a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/CarlssonCO96,
  author    = {Mats Carlsson and
               Bj{\"{o}}rn Carlson and
               Greger Ottosson},
  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},
  pages     = {531--532},
  year      = {1996},
  crossref  = {DBLP:conf/cp/1996},
  url       = {https://doi.org/10.1007/3-540-61551-2_101},
  doi       = {10.1007/3-540-61551-2_101},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/CarlssonCO96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarlsonC95,
  author    = {Bj{\"{o}}rn Carlson and
               Mats Carlsson},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/iclp/1995},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/CarlsonC95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/slp/CarlsonCJ95,
  author    = {Bj{\"{o}}rn Carlson and
               Mats Carlsson and
               Sverker Janson},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/slp/1995},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300566},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/slp/CarlsonCJ95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarlsonCD94,
  author    = {Bj{\"{o}}rn Carlson and
               Mats Carlsson and
               Daniel Diaz},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/iclp/1994},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/CarlsonCD94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fpca/CarlssonH93,
  author    = {Mats Carlsson and
               Thomas Hallgren},
  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},
  year      = {1993},
  crossref  = {DBLP:conf/fpca/1993},
  url       = {http://doi.acm.org/10.1145/165180.165228},
  doi       = {10.1145/165180.165228},
  timestamp = {Thu, 12 Nov 2015 12:04:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fpca/CarlssonH93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarlssonG93,
  author    = {Mats Carlsson and
               Mats Grindal},
  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},
  year      = {1993},
  crossref  = {DBLP:conf/iclp/1993},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/CarlssonG93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/parle/SzerediYC91,
  author    = {P{\'{e}}ter Szeredi and
               Rong Yang and
               Mats Carlsson},
  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},
  pages     = {439--453},
  year      = {1991},
  crossref  = {DBLP:conf/parle/1991-2},
  url       = {https://doi.org/10.1007/3-540-54152-7_79},
  doi       = {10.1007/3-540-54152-7_79},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/parle/SzerediYC91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Carlsson89,
  author    = {Mats Carlsson},
  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},
  year      = {1989},
  crossref  = {DBLP:conf/iclp/1989},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/Carlsson89},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/62959.62968},
  doi       = {10.1145/62959.62968},
  timestamp = {Tue, 07 Jun 2011 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/ApplebyCHS88},
  bibsource = {dblp computer science bibliography, http://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 = {{FGCS}},
  pages     = {819--830},
  year      = {1988},
  timestamp = {Thu, 17 Oct 2002 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fgcs/LuskBDOOSWCSHBCCH88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarlssonDO88,
  author    = {Mats Carlsson and
               Kenneth J. Danhof and
               Ross A. Overbeek},
  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, August 15-19, 1988 {(2} Volumes)},
  pages     = {1565--1577},
  year      = {1988},
  crossref  = {DBLP:conf/iclp/1988},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/CarlssonDO88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Carlsson87,
  author    = {Mats Carlsson},
  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},
  year      = {1987},
  crossref  = {DBLP:conf/iclp/1987},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/Carlsson87},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {1985},
  crossref  = {DBLP:conf/slp/1985},
  timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/slp/Carlsson85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ngc/Carlsson84,
  author    = {Mats Carlsson},
  title     = {On Implementing Prolog in Functional Programming},
  journal   = {New Generation Comput.},
  volume    = {2},
  number    = {4},
  pages     = {347--359},
  year      = {1984},
  url       = {https://doi.org/10.1007/BF03037326},
  doi       = {10.1007/BF03037326},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ngc/Carlsson84},
  bibsource = {dblp computer science bibliography, http://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 = {{FGCS}},
  pages     = {348--355},
  year      = {1984},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fgcs/KahnC84},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {1984},
  crossref  = {DBLP:conf/slp/1984},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/slp/Carlsson84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/eh/campbell84/KahnC84,
  author    = {Kenneth M. Kahn and
               Mats Carlsson},
  title     = {How to Implement Prolog on a {LISP} Machine},
  booktitle = {Implementations of Prolog},
  pages     = {117--134},
  year      = {1984},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/books/eh/campbell84/KahnC84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2017,
  editor    = {J. Christopher Beck},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66158-2},
  doi       = {10.1007/978-3-319-66158-2},
  isbn      = {978-3-319-66157-5},
  timestamp = {Wed, 23 Aug 2017 10:12:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2017,
  editor    = {Domenico Salvagnin and
               Michele Lombardi},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59776-8},
  doi       = {10.1007/978-3-319-59776-8},
  isbn      = {978-3-319-59775-1},
  timestamp = {Wed, 31 May 2017 15:15:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qrs/2017c,
  title     = {2017 {IEEE} International Conference on Software Quality, Reliability
               and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
               25-29, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8004065},
  isbn      = {978-1-5386-2072-4},
  timestamp = {Wed, 16 Aug 2017 14:30:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/qrs/2017c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016,
  editor    = {Dale Schuurmans and
               Michael P. Wellman},
  title     = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA}},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/AAAI/aaai16contents.php},
  isbn      = {978-1-57735-760-5},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cc/2016,
  editor    = {Ayal Zaks and
               Manuel V. Hermenegildo},
  title     = {Proceedings of the 25th International Conference on Compiler Construction,
               {CC} 2016, Barcelona, Spain, March 12-18, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2892208},
  isbn      = {978-1-4503-4241-4},
  timestamp = {Wed, 09 Mar 2016 08:03:50 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cc/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2016,
  editor    = {Michel Rueher},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44953-1},
  doi       = {10.1007/978-3-319-44953-1},
  isbn      = {978-3-319-44952-4},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoft/2016-1,
  editor    = {Leszek A. Maciaszek and
               Jorge S. Cardoso and
               Andr{\'{e}} Ludwig and
               Marten van Sinderen and
               Enrique Cabello},
  title     = {Proceedings of the 11th International Joint Conference on Software
               Technologies {(ICSOFT} 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal,
               July 24 - 26, 2016},
  publisher = {SciTePress},
  year      = {2016},
  isbn      = {978-989-758-194-6},
  timestamp = {Wed, 02 Nov 2016 16:24:01 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icsoft/2016-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2015,
  editor    = {Gilles Pesant},
  title     = {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},
  doi       = {10.1007/978-3-319-23219-5},
  isbn      = {978-3-319-23218-8},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gcai/2015,
  editor    = {Georg Gottlob and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
               Georgia, October 16-19, 2015},
  series    = {EPiC Series in Computing},
  volume    = {36},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/GCAI_2015},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gcai/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2015w,
  title     = {Eighth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17,
               2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7100633},
  isbn      = {978-1-4799-1885-0},
  timestamp = {Fri, 05 Aug 2016 12:49:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/2015w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sensys/2015,
  editor    = {Junehwa Song and
               Tarek F. Abdelzaher and
               Cecilia Mascolo},
  title     = {Proceedings of the 13th {ACM} Conference on Embedded Networked Sensor
               Systems, SenSys 2015, Seoul, South Korea, November 1-4, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2809695},
  doi       = {10.1145/2809695},
  isbn      = {978-1-4503-3631-4},
  timestamp = {Wed, 30 Nov 2016 21:26:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sensys/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tap/2015,
  editor    = {Jasmin Christian Blanchette and
               Nikolai Kosmatov},
  title     = {Tests and Proofs - 9th International Conference, {TAP} 2015, Held
               as Part of {STAF} 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9154},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21215-9},
  doi       = {10.1007/978-3-319-21215-9},
  isbn      = {978-3-319-21214-2},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tap/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2014,
  editor    = {Barry O'Sullivan},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10428-7},
  doi       = {10.1007/978-3-319-10428-7},
  isbn      = {978-3-319-10427-0},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2014,
  editor    = {Helmut Simonis},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07046-9},
  doi       = {10.1007/978-3-319-07046-9},
  isbn      = {978-3-319-07045-2},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lctrts/2014,
  editor    = {Youtao Zhang and
               Prasad Kulkarni},
  title     = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
               Embedded Systems 2014, {LCTES} '14, Edinburgh, United Kingdom - June
               12 - 13, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2597809},
  isbn      = {978-1-4503-2877-7},
  timestamp = {Fri, 06 Jun 2014 09:26:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lctrts/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/smt/2014,
  editor    = {Philipp R{\"{u}}mmer and
               Christoph M. Wintersteiger},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1163},
  urn       = {urn:nbn:de:0074-1163-4},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/smt/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2013,
  editor    = {Carla P. Gomes and
               Meinolf Sellmann},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38171-3},
  doi       = {10.1007/978-3-642-38171-3},
  isbn      = {978-3-642-38170-6},
  timestamp = {Wed, 17 May 2017 14:24:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/scopes/2013,
  editor    = {Henk Corporaal and
               Sander Stuijk},
  title     = {International Workshop on Software and Compilers for Embedded Systems,
               {M-SCOPES} '13, Sankt Goar, Germany, June 19-21, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2463596},
  isbn      = {978-1-4503-2142-6},
  timestamp = {Mon, 29 Sep 2014 18:51:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scopes/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/socs/2013,
  editor    = {Malte Helmert and
               Gabriele R{\"{o}}ger},
  title     = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
               {SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
  publisher = {{AAAI} Press},
  year      = {2013},
  url       = {http://www.aaai.org/Library/SOCS/socs13contents.php},
  isbn      = {978-1-57735-584-7},
  timestamp = {Tue, 20 Aug 2013 16:04:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/socs/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2012,
  editor    = {Michela Milano},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33558-7},
  doi       = {10.1007/978-3-642-33558-7},
  isbn      = {978-3-642-33557-0},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecai/2012,
  editor    = {Luc De Raedt and
               Christian Bessi{\`{e}}re and
               Didier Dubois and
               Patrick Doherty and
               Paolo Frasconi and
               Fredrik Heintz and
               Peter J. F. Lucas},
  title     = {{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},
  publisher = {{IOS} Press},
  year      = {2012},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=31572},
  isbn      = {978-1-61499-097-0},
  timestamp = {Thu, 06 Sep 2012 14:44:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecai/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esws/2011w,
  editor    = {Raul Garcia{-}Castro and
               Dieter Fensel and
               Grigoris Antoniou},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-25953-1},
  doi       = {10.1007/978-3-642-25953-1},
  isbn      = {978-3-642-25952-4},
  timestamp = {Wed, 24 May 2017 08:29:35 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esws/2011w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2010,
  editor    = {David Cohen},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9},
  doi       = {10.1007/978-3-642-15396-9},
  isbn      = {978-3-642-15395-2},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2010,
  editor    = {Andrea Lodi and
               Michela Milano and
               Paolo Toth},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13520-0},
  doi       = {10.1007/978-3-642-13520-0},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2009,
  editor    = {Willem Jan van Hoeve and
               John N. Hooker},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-01929-6},
  doi       = {10.1007/978-3-642-01929-6},
  isbn      = {978-3-642-01928-9},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2008,
  editor    = {Peter J. Stuckey},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85958-1},
  doi       = {10.1007/978-3-540-85958-1},
  isbn      = {978-3-540-85957-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2008,
  editor    = {Laurent Perron and
               Michael A. Trick},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68155-7},
  doi       = {10.1007/978-3-540-68155-7},
  isbn      = {978-3-540-68154-0},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cpaior/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2007,
  editor    = {Christian Bessiere},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74970-7},
  doi       = {10.1007/978-3-540-74970-7},
  isbn      = {978-3-540-74969-1},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2006,
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11889205},
  doi       = {10.1007/11889205},
  isbn      = {3-540-46267-8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:reference/fai/2,
  editor    = {Francesca Rossi and
               Peter van Beek and
               Toby Walsh},
  title     = {Handbook of Constraint Programming},
  series    = {Foundations of Artificial Intelligence},
  volume    = {2},
  publisher = {Elsevier},
  year      = {2006},
  url       = {http://www.sciencedirect.com/science/bookseries/15746526/2},
  isbn      = {978-0-444-52726-4},
  timestamp = {Fri, 16 Oct 2015 09:55:56 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/fai/2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2005,
  editor    = {Peter van Beek},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11564751},
  doi       = {10.1007/11564751},
  isbn      = {3-540-29238-1},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apbc/2004,
  editor    = {Yi{-}Ping Phoebe Chen},
  title     = {Second Asia-Pacific Bioinformatics Conference {(APBC} 2004), January
               18-22, 2004, Dunedin, New Zealand},
  series    = {{CRPIT}},
  volume    = {29},
  publisher = {Australian Computer Society},
  year      = {2004},
  isbn      = {1-920682-11-2},
  timestamp = {Wed, 18 Aug 2004 10:07:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apbc/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2004,
  editor    = {Mark Wallace},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100482},
  doi       = {10.1007/b100482},
  isbn      = {3-540-23241-9},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2004,
  editor    = {David A. Schmidt},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96702},
  doi       = {10.1007/b96702},
  isbn      = {3-540-21313-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2002,
  editor    = {Pascal Van Hentenryck},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46135-3},
  doi       = {10.1007/3-540-46135-3},
  isbn      = {3-540-44120-4},
  timestamp = {Mon, 29 May 2017 13:16:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpe/2002,
  editor    = {Alexandre Tessier},
  title     = {Proceedings of the 12th International Workshop on Logic Programming
               Environments, {WLPE} 2002, Copenhagen, Denmark, July 31, 2002},
  year      = {2002},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpe/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2001,
  editor    = {Toby Walsh},
  title     = {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},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45578-7},
  doi       = {10.1007/3-540-45578-7},
  isbn      = {3-540-42863-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2001,
  editor    = {Philippe Codognet},
  title     = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
               Cyprus, November 26 - December 1, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2237},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45635-X},
  doi       = {10.1007/3-540-45635-X},
  isbn      = {3-540-42935-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2001,
  title     = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
               Principles and practice of declarative programming, September 5-7,
               2001, Florence, Italy},
  publisher = {{ACM}},
  year      = {2001},
  isbn      = {1-58113-388-X},
  timestamp = {Wed, 18 Dec 2002 13:26:49 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/amia/1999,
  title     = {{AMIA} 1999, American Medical Informatics Association Annual Symposium,
               Washington, DC, USA, November 6-10, 1999},
  publisher = {{AMIA}},
  year      = {1999},
  url       = {http://knowledge.amia.org/amia-55142-a1999a-1.591078},
  timestamp = {Sat, 09 Aug 2014 14:42:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/amia/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/padl/1999,
  editor    = {Gopal Gupta},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49201-1},
  doi       = {10.1007/3-540-49201-1},
  isbn      = {3-540-65527-1},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/padl/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1998w1,
  editor    = {Konstantinos Sagonas},
  title     = {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, U.K., Saturday 20th June, 1998},
  year      = {1998},
  timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1998w1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/medinfo/1998,
  editor    = {Branko Cesnik and
               Alexa Thorlichen McCray and
               Jean{-}Raoul Scherrer},
  title     = {{MEDINFO} '98 - 9th World Congress on Medical Informatics, Seoul,
               South Korea, August 14-21, 1998},
  series    = {Studies in Health Technology and Informatics},
  volume    = {52},
  publisher = {{IOS} Press},
  year      = {1998},
  isbn      = {978-90-5199-407-0},
  timestamp = {Wed, 31 May 2017 09:28:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/medinfo/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/plilp/1998,
  editor    = {Catuscia Palamidessi and
               Hugh Glaser and
               Karl Meinke},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0056603},
  doi       = {10.1007/BFb0056603},
  isbn      = {3-540-65012-1},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/plilp/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/plilp/1997,
  editor    = {Hugh Glaser and
               Pieter H. Hartel and
               Herbert Kuchen},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0033832},
  doi       = {10.1007/BFb0033832},
  isbn      = {3-540-63398-7},
  timestamp = {Mon, 22 May 2017 17:11:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/plilp/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/1996,
  editor    = {Eugene C. Freuder},
  title     = {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},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61551-2},
  doi       = {10.1007/3-540-61551-2},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cp/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1995,
  editor    = {Leon Sterling},
  title     = {Logic Programming, Proceedings of the Twelfth International Conference
               on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  isbn      = {0-262-69177-9},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/slp/1995,
  editor    = {John W. Lloyd},
  title     = {Logic Programming, Proceedings of the 1995 International Symposium,
               Portland, Oregon, USA, December 4-7, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853},
  isbn      = {0-262-62099-5},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/slp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994,
  editor    = {Pascal Van Hentenryck},
  title     = {Logic Programming, Proceedings of the Eleventh International Conference
               on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  publisher = {{MIT} Press},
  year      = {1994},
  isbn      = {0-262-72022-1},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fpca/1993,
  editor    = {John Williams},
  title     = {Proceedings of the conference on Functional programming languages
               and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
               9-11, 1993},
  publisher = {{ACM}},
  year      = {1993},
  url       = {http://doi.acm.org/10.1145/165180},
  doi       = {10.1145/165180},
  isbn      = {0-89791-595-X},
  timestamp = {Thu, 12 Nov 2015 12:04:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fpca/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1993,
  editor    = {David Scott Warren},
  title     = {Logic Programming, Proceedings of the Tenth International Conference
               on Logic Programming, Budapest, Hungary, June 21-25, 1993},
  publisher = {{MIT} Press},
  year      = {1993},
  isbn      = {0-262-73105-3},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/parle/1991-2,
  editor    = {Emile H. L. Aarts and
               Jan van Leeuwen and
               Martin Rem},
  title     = {{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},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54152-7},
  doi       = {10.1007/3-540-54152-7},
  isbn      = {3-540-54152-7},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/parle/1991-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1989,
  editor    = {Giorgio Levi and
               Maurizio Martelli},
  title     = {Logic Programming, Proceedings of the Sixth International Conference,
               Lisbon, Portugal, June 19-23, 1989},
  publisher = {{MIT} Press},
  year      = {1989},
  isbn      = {0-262-62065-0},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1988,
  editor    = {Robert A. Kowalski and
               Kenneth A. Bowen},
  title     = {Logic Programming, Proceedings of the Fifth International Conference
               and Symposium, Seattle, Washington, August 15-19, 1988 {(2} Volumes)},
  publisher = {{MIT} Press},
  year      = {1988},
  isbn      = {0-262-61056-6},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1987,
  editor    = {Jean{-}Louis Lassez},
  title     = {Logic Programming, Proceedings of the Fourth International Conference,
               Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
  publisher = {{MIT} Press},
  year      = {1987},
  isbn      = {0-262-12125-5},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1987},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/slp/1985,
  title     = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
               USA, July 15-18, 1985},
  publisher = {{IEEE-CS}},
  year      = {1985},
  isbn      = {0-8186-0636-3},
  timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/slp/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/slp/1984,
  title     = {Proceedings of the 1984 International Symposium on Logic Programming,
               Atlantic City, New Jersey, USA, February 6-9, 1984},
  publisher = {{IEEE-CS}},
  year      = {1984},
  isbn      = {0-8186-0522-7},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/slp/1984},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier