BibTeX records: Magnus Rattfeldt

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Magnus Rattfeldt

download as .bib file

@article{DBLP:journals/corr/abs-2007-05423,
  author       = {Mikael Zayenz Lagerkvist and
                  Magnus Rattfeldt},
  title        = {Half-checking propagators},
  journal      = {CoRR},
  volume       = {abs/2007.05423},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.05423},
  eprinttype    = {arXiv},
  eprint       = {2007.05423},
  timestamp    = {Mon, 20 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-05423.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LagerkvistNR13,
  author       = {Mikael Z. Lagerkvist and
                  Martin Nordkvist and
                  Magnus Rattfeldt},
  editor       = {Christian Schulte},
  title        = {Laser Cutting Path Planning Using {CP}},
  booktitle    = {Principles and Practice of Constraint Programming - 19th International
                  Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8124},
  pages        = {790--804},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40627-0\_58},
  doi          = {10.1007/978-3-642-40627-0\_58},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LagerkvistNR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/FlenerPSHA09,
  author       = {Pierre Flener and
                  Justin Pearson and
                  Meinolf Sellmann and
                  Pascal Van Hentenryck and
                  Magnus {\AA}gren},
  title        = {Dynamic structural symmetry breaking for constraint satisfaction problems},
  journal      = {Constraints An Int. J.},
  volume       = {14},
  number       = {4},
  pages        = {506--538},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10601-008-9059-7},
  doi          = {10.1007/S10601-008-9059-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/FlenerPSHA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/AgrenFP09,
  author       = {Magnus {\AA}gren and
                  Pierre Flener and
                  Justin Pearson},
  title        = {Revisiting constraint-directed search},
  journal      = {Inf. Comput.},
  volume       = {207},
  number       = {3},
  pages        = {438--457},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.ic.2008.12.001},
  doi          = {10.1016/J.IC.2008.12.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AgrenFP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Agren09,
  author       = {Magnus {\AA}gren},
  editor       = {Ian P. Gent},
  title        = {Memoisation for Constraint-Based Local Search},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
                  International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
                  2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5732},
  pages        = {119--126},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04244-7\_12},
  doi          = {10.1007/978-3-642-04244-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Agren09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/AgrenBCSTZ09,
  author       = {Magnus {\AA}gren and
                  Nicolas Beldiceanu and
                  Mats Carlsson and
                  Mohamed Sbihi and
                  Charlotte Truchet and
                  St{\'{e}}phane Zampelli},
  editor       = {Willem Jan van Hoeve and
                  John N. Hooker},
  title        = {Six Ways of Integrating Symmetries within Non-overlapping Constraints},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 6th International Conference,
                  {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5547},
  pages        = {11--25},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01929-6\_3},
  doi          = {10.1007/978-3-642-01929-6\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/AgrenBCSTZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Agren07,
  author       = {Magnus {\AA}gren},
  title        = {Set Constraints for Local Search},
  school       = {Uppsala University, Sweden},
  year         = {2007},
  url          = {https://nbn-resolving.org/urn:nbn:se:uu:diva-8373},
  urn          = {urn:nbn:se:uu:diva-8373},
  timestamp    = {Mon, 21 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Agren07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/AgrenFP07,
  author       = {Magnus {\AA}gren and
                  Pierre Flener and
                  Justin Pearson},
  title        = {Generic Incremental Algorithms for Local Search},
  journal      = {Constraints An Int. J.},
  volume       = {12},
  number       = {3},
  pages        = {293--324},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10601-007-9021-0},
  doi          = {10.1007/S10601-007-9021-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/AgrenFP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AgrenFP06,
  author       = {Magnus {\AA}gren and
                  Pierre Flener and
                  Justin Pearson},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Inferring Variable Conflicts for Local Search},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {665--669},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_47},
  doi          = {10.1007/11889205\_47},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AgrenFP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AgrenFP05,
  author       = {Magnus {\AA}gren and
                  Pierre Flener and
                  Justin Pearson},
  editor       = {Peter van Beek},
  title        = {Incremental Algorithms for Local Search from Existential Second-Order
                  Logic},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
                  International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3709},
  pages        = {47--61},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11564751\_7},
  doi          = {10.1007/11564751\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AgrenFP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/AgrenFP05,
  author       = {Magnus {\AA}gren and
                  Pierre Flener and
                  Justin Pearson},
  editor       = {Roman Bart{\'{a}}k and
                  Michela Milano},
  title        = {Set Variables and Local Search},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, Second International Conference,
                  {CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3524},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11493853\_4},
  doi          = {10.1007/11493853\_4},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/AgrenFP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/HentenryckFPA05,
  author       = {Pascal Van Hentenryck and
                  Pierre Flener and
                  Justin Pearson and
                  Magnus {\AA}gren},
  editor       = {Jean{-}Daniel Zucker and
                  Lorenza Saitta},
  title        = {Compositional Derivation of Symmetries for Constraint Satisfaction},
  booktitle    = {Abstraction, Reformulation and Approximation, 6th International Symposium,
                  {SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3607},
  pages        = {234--247},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11527862\_17},
  doi          = {10.1007/11527862\_17},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/sara/HentenryckFPA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Agren04,
  author       = {Magnus {\AA}gren},
  editor       = {Mark Wallace},
  title        = {Set Variables and Local Search},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
                  International Conference, {CP} 2004, Toronto, Canada, September 27
                  - October 1, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3258},
  pages        = {788},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30201-8\_67},
  doi          = {10.1007/978-3-540-30201-8\_67},
  timestamp    = {Fri, 27 Mar 2020 09:00:36 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Agren04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/FlenerPA03,
  author       = {Pierre Flener and
                  Justin Pearson and
                  Magnus {\AA}gren},
  editor       = {Francesca Rossi},
  title        = {Introducing ESRA, a Relational Language for Modelling Combinatorial
                  Problems},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
                  International Conference, {CP} 2003, Kinsale, Ireland, September 29
                  - October 3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2833},
  pages        = {971},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45193-8\_95},
  doi          = {10.1007/978-3-540-45193-8\_95},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/FlenerPA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/HentenryckFPA03,
  author       = {Pascal Van Hentenryck and
                  Pierre Flener and
                  Justin Pearson and
                  Magnus {\AA}gren},
  editor       = {Georg Gottlob and
                  Toby Walsh},
  title        = {Tractable Symmetry Breaking for CSPs with Interchangeable Values},
  booktitle    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
                  on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages        = {277--284},
  publisher    = {Morgan Kaufmann},
  year         = {2003},
  url          = {http://ijcai.org/Proceedings/03/Papers/041.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HentenryckFPA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/FlenerPA03,
  author       = {Pierre Flener and
                  Justin Pearson and
                  Magnus {\AA}gren},
  editor       = {Maurice Bruynooghe},
  title        = {Introducing esra, a Relational Language for Modelling Combinatorial
                  Problems},
  booktitle    = {Logic Based Program Synthesis and Transformation, 13th International
                  Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3018},
  pages        = {214--232},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25938-1\_18},
  doi          = {10.1007/978-3-540-25938-1\_18},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/FlenerPA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/AgrenSBC02,
  author       = {Magnus {\AA}gren and
                  Tam{\'{a}}s Szeredi and
                  Nicolas Beldiceanu and
                  Mats Carlsson},
  editor       = {Alexandre Tessier},
  title        = {Tracing and Explaining Execution of {CLP(FD)} Programs},
  booktitle    = {Proceedings of the 12th International Workshop on Logic Programming
                  Environments, {WLPE} 2002, Copenhagen, Denmark, July 31, 2002},
  pages        = {1--16},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207047},
  timestamp    = {Thu, 09 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/AgrenSBC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.