Search dblp for Publications

export results for "stream:conf/pact2:"

 download as .bib file

@inproceedings{DBLP:conf/pact2/AdhikaryHM97,
  author       = {J. Adhikary and
                  Geir Hasle and
                  G. Misung},
  editor       = {Mark Wallace},
  title        = {Constraint Technology Applied to Forest Treatment Scheduling},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {15--34},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 10:17:58 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/AdhikaryHM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/AndreoliBP97,
  author       = {Jean{-}Marc Andreoli and
                  Uwe M. Borghoff and
                  Remo Pareschi},
  editor       = {Mark Wallace},
  title        = {Signed Feature Constraint Solving},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {35--46},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/AndreoliBP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Bartak97,
  author       = {Roman Bart{\'{a}}k},
  editor       = {Mark Wallace},
  title        = {A Plug-In Architecture of Constraint Hierarchy Solvers},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {359--372},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/Bartak97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/BaumgartKMQ97,
  author       = {Michael Baumgart and
                  Hans Peter Kunz and
                  Sascha Meyer and
                  Klaus Quibeldey{-}Cirkel},
  editor       = {Mark Wallace},
  title        = {Priority-driven Constraints Used for Scheduling at Universities},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {65--74},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/BaumgartKMQ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Baumgartel97,
  author       = {Hartwig Baumg{\"{a}}rtel},
  editor       = {Mark Wallace},
  title        = {Distributed Constraint Processing for Production Logistics},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {75--90},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/Baumgartel97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Beek97,
  author       = {P. van Beek},
  editor       = {Mark Wallace},
  title        = {The Payoff Between Theory and Practice, or, What Can Theoreticians
                  and Practitioners Learn From Each Other},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {5--6},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/Beek97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/BoucherBVBL97,
  author       = {Eric Boucher and
                  Astrid Bachelu and
                  Christophe Varnier and
                  Pierre Baptiste and
                  Bruno Legeard},
  editor       = {Mark Wallace},
  title        = {Multi-criteria Comparison Between Algorithmic, Constraint Logic and
                  Specific Constraint Programming on a Real Schedulingt Problem},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {47--64},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/BoucherBVBL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/BraunMSB97,
  author       = {Volker Braun and
                  Tiziana Margaria and
                  Bernhard Steffen and
                  Friedrich{-}Karl Bruhns},
  editor       = {Mark Wallace},
  title        = {Service Definition for Intelligent Networks: Experience in a Leading-edge
                  Technological Project Based on Constraint Techniques},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {91--106},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/BraunMSB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/ChowP97,
  author       = {Kam{-}Pui Chow and
                  M. Perett},
  editor       = {Mark Wallace},
  title        = {Airport Counter Allocation Using Constraint Logic Programming},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {107--116},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/ChowP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/DospisilKP97,
  author       = {Jana Dospisil and
                  Elizabeth A. Kendall and
                  Tony Polgar},
  editor       = {Mark Wallace},
  title        = {Multimedia Presentation Scheduling with {ILOG}},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {117--134},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/DospisilKP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/FarfarakisH97,
  author       = {R. Farfarakis and
                  S. Hope},
  editor       = {Mark Wallace},
  title        = {The TOOCA\({}_{\mbox{n}}\) Approach},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {135--150},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/FarfarakisH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/FocacciLMM97,
  author       = {Filippo Focacci and
                  Evelina Lamma and
                  Paola Mello and
                  Michela Milano},
  editor       = {Mark Wallace},
  title        = {Constraint Logic Programming for the Crew Rostering Problem},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {151--164},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/FocacciLMM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/FruhwirthB97,
  author       = {Thom W. Fr{\"{u}}hwirth and
                  Pascal Brisset},
  editor       = {Mark Wallace},
  title        = {Optimal Planning of Digital Cordless Telecommunication Systems},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {165--176},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/FruhwirthB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/GlaisnerR97,
  author       = {F. Glaisner and
                  L.{-}M. Richard},
  editor       = {Mark Wallace},
  title        = {FORWARD{\_}C: {A} Refinery Scheduling System},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {1--4},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/GlaisnerR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Hofe97,
  author       = {Harald Meyer auf'm Hofe},
  editor       = {Mark Wallace},
  title        = {ConPlan/SIEDAplan: Personnel Assigment as a Problem of Hierarchical
                  Constraint Satisfaction},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {257--272},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/Hofe97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/JohansenH97,
  author       = {Bj{\o}rn Sigurd Johansen and
                  Geir Hasle},
  editor       = {Mark Wallace},
  title        = {Well Activity Scheduling - An Application of Constraint Reasoning},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {177--192},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/JohansenH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/JoseSB97,
  author       = {R. M. J. Jose and
                  G. vom Scheidt and
                  James F. Boyce},
  editor       = {Mark Wallace},
  title        = {Application of Connectionist Local Search to Line Management Rail
                  Traffic Control},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {193--212},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/JoseSB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/KopschML97,
  author       = {J{\"{u}}rgen Kopsch and
                  Petra Marx and
                  Gisbert Lechner},
  editor       = {Mark Wallace},
  title        = {Modelling Engineering Design Knowledge with Constraints},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {213--224},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/KopschML97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Laitinen97,
  author       = {P. P. Laitinen},
  editor       = {Mark Wallace},
  title        = {Transfer Syntax Notation: {A} Language for the Development and Specification
                  of Communication Protocols},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {225--236},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/Laitinen97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/PapeB97,
  author       = {Claude Le Pape and
                  Philippe Baptiste},
  editor       = {Mark Wallace},
  title        = {A Constraint Programming Library for Preemptive and Non-Preemptive
                  Scheduling},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {237--256},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/PapeB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/PegmanFKT97,
  author       = {Mike Pegman and
                  Nigel Forward and
                  Brett King and
                  Dave Teal},
  editor       = {Mark Wallace},
  title        = {Mine Planning and Scheduling at {RTZ} Technical Services},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {273--286},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/PegmanFKT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/SemenovKLP97,
  author       = {Alexander L. Semenov and
                  Tamara P. Kashevarova and
                  Alexander S. Leshchenko and
                  D. Petunin},
  editor       = {Mark Wallace},
  title        = {Combining Various Techniques with the Algorithm of Subdefinite Calculations},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {287--306},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/SemenovKLP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/SeyboldMOBCTSE97,
  author       = {Bernhard Seybold and
                  Felix J. Metzger and
                  G. Ogan and
                  J. Bathelt and
                  Fabian Collenberg and
                  J. Taiber and
                  Klaus Simon and
                  M. Engeli},
  editor       = {Mark Wallace},
  title        = {Spatial Modelling with Geometric Constraints},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {307--320},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/SeyboldMOBCTSE97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/ShvetsovKP97,
  author       = {Igor Shvetsov and
                  V. Kornienko and
                  S. V. Preis},
  editor       = {Mark Wallace},
  title        = {Interval Spreadsheet for Problems of Financial Planning},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {373},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/ShvetsovKP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Smith97,
  author       = {Barbara M. Smith},
  editor       = {Mark Wallace},
  title        = {Succeed-first or Fail-first: {A} Case Study in Variable and Value
                  Ordering},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {321--330},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/Smith97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/TakadaKT97,
  author       = {M. Takada and
                  N. Kase and
                  T. Terano},
  editor       = {Mark Wallace},
  title        = {Two Level {CSP} Approach to Production Scheduling for Medicine Packing
                  Processes},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {331--338},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/TakadaKT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Wallace97,
  author       = {Mark Wallace},
  editor       = {Mark Wallace},
  title        = {How Constraint Logic Programming Unlocks Constraint Technology},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {7--14},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/Wallace97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/YakhnoZP97,
  author       = {Tatyana M. Yakhno and
                  V. Z. Zilberfain and
                  Evgueni S. Petrov},
  editor       = {Mark Wallace},
  title        = {Applications of ECL\({}^{\mbox{i}}\)PS\({}^{\mbox{e}}\): Interval
                  Domain Library},
  booktitle    = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  pages        = {339--358},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/YakhnoZP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pact2/1997,
  editor       = {Mark Wallace},
  title        = {Proceedings of the Third International Conference on the Practical
                  Application of Constraint Technology, {PACT} 1997, Westminster Central
                  Hall, London, UK, April 23-25, 1997},
  publisher    = {Practical Application Company Ltd.},
  year         = {1997},
  isbn         = {0-9525554-4-1},
  timestamp    = {Wed, 30 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact2/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics