default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sebastian Brand
@inproceedings{DBLP:conf/case/KogelBGJWA21,
author = {Michael K{\"{o}}gel and
Sebastian Brand and
Christian Gro{\ss}e and
Kristof J. P. Jacobs and
Ingrid De Wolf and
Frank Altmann},
title = {Thermal source separation for 3D defect localization using independent
component analysis {(ICA)} from time-resolved temperature response
{(TRTR)}},
booktitle = {17th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2021, Lyon, France, August 23-27, 2021},
pages = {395--400},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CASE49439.2021.9551575},
doi = {10.1109/CASE49439.2021.9551575},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/KogelBGJWA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeesensors/KaniakRBPLFBG20,
author = {Georg Kaniak and
Wolfgang Rohringer and
Matthias Brauns and
Nils Panzer and
Fabian L{\"{u}}cking and
Balthasar Fischer and
Sebastian Brand and
Christian Gro{\ss}e},
title = {Enhanced non-contact ultrasonic testing using an air-coupled optical
microphone},
booktitle = {2020 {IEEE} Sensors, Rotterdam, The Netherlands, October 25-28, 2020},
pages = {1--4},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SENSORS47125.2020.9278623},
doi = {10.1109/SENSORS47125.2020.9278623},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieeesensors/KaniakRBPLFBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/KhaledKBKANW17,
author = {Ahmad Khaled and
Luka Kljucar and
Sebastian Brand and
Michael K{\"{o}}gel and
Robert Aertgeerts and
Ruben Nicasy and
Ingrid De Wolf},
title = {Study of GHz-SAM sensitivity to delamination in {BEOL} layers},
journal = {Microelectron. Reliab.},
volume = {76-77},
pages = {238--242},
year = {2017},
url = {https://doi.org/10.1016/j.microrel.2017.06.075},
doi = {10.1016/J.MICROREL.2017.06.075},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mr/KhaledKBKANW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/KhaledBKAW16,
author = {Ahmad Khaled and
Sebastian Brand and
Michael K{\"{o}}gel and
Tim Appenroth and
Ingrid De Wolf},
title = {Investigating stress measurement capabilities of GHz Scanning Acoustic
Microscopy for 3D failure analysis},
journal = {Microelectron. Reliab.},
volume = {64},
pages = {336--340},
year = {2016},
url = {https://doi.org/10.1016/j.microrel.2016.07.061},
doi = {10.1016/J.MICROREL.2016.07.061},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mr/KhaledBKAW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/BrandSKJPA16,
author = {Sebastian Brand and
Mich{\'{e}}l Simon{-}Najasek and
Michael K{\"{o}}gel and
Joerg Jatzkowski and
R. Portius and
Frank Altmann},
title = {Detection and analysis of stress-induced voiding in Al-power lines
by acoustic GHz-microscopy},
journal = {Microelectron. Reliab.},
volume = {64},
pages = {341--345},
year = {2016},
url = {https://doi.org/10.1016/j.microrel.2016.07.041},
doi = {10.1016/J.MICROREL.2016.07.041},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mr/BrandSKJPA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/KogelATB16,
author = {Michael K{\"{o}}gel and
Frank Altmann and
Sebastian Tismer and
Sebastian Brand},
title = {Magnetic field and current density imaging using off-line lock-in
analysis},
journal = {Microelectron. Reliab.},
volume = {64},
pages = {346--351},
year = {2016},
url = {https://doi.org/10.1016/j.microrel.2016.07.083},
doi = {10.1016/J.MICROREL.2016.07.083},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mr/KogelATB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/VoggHB15,
author = {G{\"{u}}nther Vogg and
T. Heidmann and
Sebastian Brand},
title = {Scanning acoustic GHz-microscopy versus conventional {SAM} for advanced
assessment of ball bond and metal interfaces in microelectronic devices},
journal = {Microelectron. Reliab.},
volume = {55},
number = {9-10},
pages = {1554--1558},
year = {2015},
url = {https://doi.org/10.1016/j.microrel.2015.06.066},
doi = {10.1016/J.MICROREL.2015.06.066},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mr/VoggHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KelarevaBKTW12,
author = {Elena Kelareva and
Sebastian Brand and
Philip Kilby and
Sylvie Thi{\'{e}}baux and
Mark Wallace},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {{CP} and {MIP} Methods for Ship Scheduling with Time-Varying Draft},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4501},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/KelarevaBKTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FrancisBS12,
author = {Kathryn Francis and
Sebastian Brand and
Peter J. Stuckey},
editor = {Michela Milano},
title = {Optimisation Modelling for Software Developers},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {274--289},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_22},
doi = {10.1007/978-3-642-33558-7\_22},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/FrancisBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/PuchingerSWB11,
author = {Jakob Puchinger and
Peter J. Stuckey and
Mark G. Wallace and
Sebastian Brand},
title = {Dantzig-Wolfe decomposition and branch-and-price solving in {G12}},
journal = {Constraints An Int. J.},
volume = {16},
number = {1},
pages = {77--99},
year = {2011},
url = {https://doi.org/10.1007/s10601-009-9085-0},
doi = {10.1007/S10601-009-9085-0},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/PuchingerSWB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BaatarBBS11,
author = {Davaatseren Baatar and
Natashia Boland and
Sebastian Brand and
Peter J. Stuckey},
title = {{CP} and {IP} approaches to cancer radiotherapy delivery optimization},
journal = {Constraints An Int. J.},
volume = {16},
number = {2},
pages = {173--194},
year = {2011},
url = {https://doi.org/10.1007/s10601-010-9104-1},
doi = {10.1007/S10601-010-9104-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BaatarBBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KoninckBS11,
author = {Leslie De Koninck and
Sebastian Brand and
Peter J. Stuckey},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Constraints in Non-Boolean Contexts},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {117--127},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.117},
doi = {10.4230/LIPICS.ICLP.2011.117},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KoninckBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/BrandCHP10,
author = {Sebastian Brand and
P. Czurratis and
P. Hoffrogge and
Matthias Petzold},
title = {Automated inspection and classification of flip-chip-contacts using
scanning acoustic microscopy},
journal = {Microelectron. Reliab.},
volume = {50},
number = {9-11},
pages = {1469--1473},
year = {2010},
url = {https://doi.org/10.1016/j.microrel.2010.07.139},
doi = {10.1016/J.MICROREL.2010.07.139},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mr/BrandCHP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Brand09,
author = {Sebastian Brand},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {The sum-of-increments constraint in the consecutive-ones matrix decomposition
problem},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1417--1418},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529599},
doi = {10.1145/1529282.1529599},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/Brand09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PuchingerSWB09,
author = {Jakob Puchinger and
Peter J. Stuckey and
Mark Wallace and
Sebastian Brand},
editor = {Cynthia Barnhart and
Uwe Clausen and
Ulrich Lauther and
Rolf H. M{\"{o}}hring},
title = {Branch-and-Price Solving in {G12}},
booktitle = {Models and Algorithms for Optimization in Logistics, 21.06. - 26.06.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09261},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2164/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PuchingerSWB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PuchingerSWB08,
author = {Jakob Puchinger and
Peter J. Stuckey and
Mark Wallace and
Sebastian Brand},
editor = {Laurent Perron and
Michael A. Trick},
title = {From High-Level Model to Branch-and-Price Solution in {G12}},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_18},
doi = {10.1007/978-3-540-68155-7\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/PuchingerSWB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BrandDPS08,
author = {Sebastian Brand and
Gregory J. Duck and
Jakob Puchinger and
Peter J. Stuckey},
editor = {Paul Hudak and
David Scott Warren},
title = {Flexible, Rule-Based Constraint Model Linearisation},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {68--83},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_6},
doi = {10.1007/978-3-540-77442-6\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/BrandDPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BrandNQSW07,
author = {Sebastian Brand and
Nina Narodytska and
Claude{-}Guy Quimper and
Peter J. Stuckey and
Toby Walsh},
editor = {Christian Bessiere},
title = {Encodings of the Sequence Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {210--224},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_17},
doi = {10.1007/978-3-540-74970-7\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BrandNQSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NethercoteSBBDT07,
author = {Nicholas Nethercote and
Peter J. Stuckey and
Ralph Becket and
Sebastian Brand and
Gregory J. Duck and
Guido Tack},
editor = {Christian Bessiere},
title = {MiniZinc: Towards a Standard {CP} Modelling Language},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {529--543},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_38},
doi = {10.1007/978-3-540-74970-7\_38},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/NethercoteSBBDT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BaatarBBS07,
author = {Davaatseren Baatar and
Natashia Boland and
Sebastian Brand and
Peter J. Stuckey},
editor = {Pascal Van Hentenryck and
Laurence A. Wolsey},
title = {Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices:
{CP} and {IP} Approaches},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 4th International Conference,
{CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4510},
pages = {1--15},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72397-4\_1},
doi = {10.1007/978-3-540-72397-4\_1},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BaatarBBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AptB06,
author = {Krzysztof R. Apt and
Sebastian Brand},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Infinite Qualitative Simulations by Means of Constraint Programming},
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 = {29--43},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_5},
doi = {10.1007/11889205\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AptB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrandY06,
author = {Sebastian Brand and
Roland H. C. Yap},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Towards "Propagation = Logic + Control"},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {102--116},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_10},
doi = {10.1007/11799573\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BrandY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DuckSB06,
author = {Gregory J. Duck and
Peter J. Stuckey and
Sebastian Brand},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {{ACD} Term Rewriting},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {117--131},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_11},
doi = {10.1007/11799573\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DuckSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608015,
author = {Sebastian Brand and
Roland H. C. Yap},
title = {Towards "Propagation = Logic + Control"},
journal = {CoRR},
volume = {abs/cs/0608015},
year = {2006},
url = {http://arxiv.org/abs/cs/0608015},
eprinttype = {arXiv},
eprint = {cs/0608015},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608016,
author = {Gregory J. Duck and
Peter J. Stuckey and
Sebastian Brand},
title = {{ACD} Term Rewriting},
journal = {CoRR},
volume = {abs/cs/0608016},
year = {2006},
url = {http://arxiv.org/abs/cs/0608016},
eprinttype = {arXiv},
eprint = {cs/0608016},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608017,
author = {Krzysztof R. Apt and
Sebastian Brand},
title = {Infinite Qualitative Simulations by Means of Constraint Programming},
journal = {CoRR},
volume = {abs/cs/0608017},
year = {2006},
url = {http://arxiv.org/abs/cs/0608017},
eprinttype = {arXiv},
eprint = {cs/0608017},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608019,
author = {Sebastian Brand},
title = {Relation Variables in Qualitative Spatial Reasoning},
journal = {CoRR},
volume = {abs/cs/0608019},
year = {2006},
url = {http://arxiv.org/abs/cs/0608019},
eprinttype = {arXiv},
eprint = {cs/0608019},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Brand05,
author = {Sebastian Brand and
Krzysztof R. Apt},
title = {Schedulers and redundancy for a class of constraint propagation rules},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {4-5},
pages = {441--465},
year = {2005},
url = {https://doi.org/10.1017/S1471068405002401},
doi = {10.1017/S1471068405002401},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Brand05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/AptB05,
author = {Krzysztof R. Apt and
Sebastian Brand},
title = {Constraint-Based Qualitative Simulation},
booktitle = {12th International Symposium on Temporal Representation and Reasoning
{(TIME} 2005), 23-25 June 2005, Burlington, Vermont, {USA}},
pages = {26--34},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/TIME.2005.19},
doi = {10.1109/TIME.2005.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/AptB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0504024,
author = {Krzysztof R. Apt and
Sebastian Brand},
title = {Constraint-Based Qualitative Simulation},
journal = {CoRR},
volume = {abs/cs/0504024},
year = {2005},
url = {http://arxiv.org/abs/cs/0504024},
eprinttype = {arXiv},
eprint = {cs/0504024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0504024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Brand04,
author = {Sebastian Brand},
editor = {Mark Wallace},
title = {Relation Variables in Qualitative Spatial Reasoning},
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 = {790},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_69},
doi = {10.1007/978-3-540-30201-8\_69},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/Brand04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Brand04,
author = {Sebastian Brand},
editor = {Susanne Biundo and
Thom W. Fr{\"{u}}hwirth and
G{\"{u}}nther Palm},
title = {Relation Variables in Qualitative Spatial Reasoning},
booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3238},
pages = {337--350},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30221-6\_26},
doi = {10.1007/978-3-540-30221-6\_26},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Brand04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0403037,
author = {Sebastian Brand and
Krzysztof R. Apt},
title = {Schedulers and Redundancy for a Class of Constraint Propagation Rules},
journal = {CoRR},
volume = {cs.DS/0403037},
year = {2004},
url = {http://arxiv.org/abs/cs/0403037},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DS-0403037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BrandGR03,
author = {Sebastian Brand and
Rosella Gennari and
Maarten de Rijke},
editor = {Francesca Rossi},
title = {Constraint Programming for Modelling and Solving Modal Satisfability},
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 = {795--800},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_55},
doi = {10.1007/978-3-540-45193-8\_55},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/BrandGR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BrandGR03,
author = {Sebastian Brand and
Rosella Gennari and
Maarten de Rijke},
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {Constraint Methods for Modal Satisfiability},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {66--86},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24662-6\_4},
doi = {10.1007/978-3-540-24662-6\_4},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/BrandGR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AptB03,
author = {Krzysztof R. Apt and
Sebastian Brand},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Schedulers for Rule-Based Constraint Programming},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {14--21},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952537},
doi = {10.1145/952532.952537},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/AptB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrandM03,
author = {Sebastian Brand and
{\'{E}}ric Monfroy},
editor = {Jean{-}Louis Giavitto and
Pierre{-}Etienne Moreau},
title = {Deductive Generation of Constraint Propagation Rules},
booktitle = {4th International Workshop on Rule-Based Programming, {RULE} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {2},
pages = {45--60},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80675-3},
doi = {10.1016/S1571-0661(04)80675-3},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrandM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognet/Brand02,
author = {Sebastian Brand},
editor = {Barry O'Sullivan},
title = {A Note on Redundant Rules in Rule-Based Constraint Programming},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CologNet International
Workshop on Constraint Solving and Constraint Logic Programming, Cork,
Ireland, June 19-21, 2002. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2627},
pages = {109--120},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36607-5\_8},
doi = {10.1007/3-540-36607-5\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/colognet/Brand02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0211019,
author = {Krzysztof R. Apt and
Sebastian Brand},
title = {Schedulers for Rule-based Constraint Programming},
journal = {CoRR},
volume = {cs.DS/0211019},
year = {2002},
url = {http://arxiv.org/abs/cs/0211019},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DS-0211019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0105024,
author = {Sebastian Brand},
title = {Constraint Propagation in Presence of Arrays},
journal = {CoRR},
volume = {cs.PL/0105024},
year = {2001},
url = {https://arxiv.org/abs/cs/0105024},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0105024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0110012,
title = {Proceedings of the 6th Annual Workshop of the {ERCIM} Working Group
on Constraints},
journal = {CoRR},
volume = {cs.PL/0110012},
year = {2001},
url = {https://arxiv.org/abs/cs/0110012},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0110012.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.
last updated on 2024-05-08 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
