[2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004-1992]
2019
- Models for Radiation Therapy Patient Scheduling, Sara Frimodig, Christian Schulte.
Twentyfifth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2019. - Combinatorial Register Allocation and Instruction Scheduling, Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte.
Transactions on Programming Languages and Systems, ACM Press, 2019. - Arc: An IR for Batch and Stream Programming, Lars Kroll, Klas Segeljakt, Paris Carbone, Christian Schulte, Seif Haridi.
Seventeenth ACM SIGPLAN International Symposium on Database Programming Languages, ACM Press, 2019. - Radiation Therapy Patient Scheduling, Sara Frimodig, Christian Schulte.
Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Springer-Verlag, 2019. Extended Abstract. - Survey on Combinatorial Register Allocation and Instruction Scheduling, Roberto Castañeda Lozano, Christian Schulte.
Computing Surveys, ACM Press, 2019.
2018
2017
- Data Driven Selection of DRX for Energy Efficient 5G RAN, Diarmuid Corcoran, Logman Andimeh, Andreas Ermedahl, Per Kreuger, Christian Schulte.
International Conference on Network and Service Management, IEEE, 2017. - Complete and Practical Universal Instruction Selection, Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte.
Transactions on Embedded Computing Systems, ACM Press, 2017. - Design and Implementation of Bounded-Length Sequence Variables, Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte.
Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, Springer-Verlag, 2017.
2016
2015
2014
- Survey on Combinatorial Register Allocation and Instruction Scheduling, Roberto Castañeda Lozano, Christian Schulte.
CoRR entry, 2014. - View-based Propagator Derivation, Christian Schulte, Guido Tack.
Twentieth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2014. - Combinatorial Spill Code Optimization and Ultimate Coalescing, Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte.
Languages, Compilers, Tools and Theory for Embedded Systems, ACM Press, 2014.
2013
- Principles and Practice of Constraint Programming - CP 2013, Christian Schulte (Ed.).
Lecture Notes in Computer Science 8124, Springer-Verlag, 2013. - Bandit-based Search for Constraint Programming, Manuel Loth, Michèle Sebag, Youssef Hamadi, Christian Schulte, Marc Schoenauer.
COmbining COnstraint solving with MIning and LEarning, 2013. - Constraint-based Code Generation, Roberto Castañeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte.
Sixteenth International Workshop on Software and Compilers for Embedded Systems, ACM Press, 2013. - Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop problem, Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte.
Learning and Intelligent OptimizatioN Conference (Lion 7), 2013. - View-based Propagator Derivation, Christian Schulte, Guido Tack.
Constraints, Springer-Verlag, 2013.
2012
2011
2010
- Implementing Efficient Propagation Control, Christian Schulte, Guido Tack.
Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a conference workshop of CP 2010, 2010. - Testing Continuous Double Auctions with a Constraint-based Oracle, Roberto Castañeda Lozano, Christian Schulte, Lars Wahlberg.
Sixteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2010. - Modeling and Programming with Gecode, Christian Schulte, Guido Tack, Mikael Z. Lagerkvist.
Technical documentation, 2010.
2009
- View-based Propagator Derivation, Christian Schulte, Guido Tack.
CoRR entry, 2009. - Confidence-based Work Stealing in Parallel Constraint Programming, Geoffrey Chu, Christian Schulte, Peter J. Stuckey.
Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. - Generating Optimal Stowage Plans for Container Vessel Bays, Alberto Delgado, Rune Møller Jensen, Christian Schulte.
Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. - Propagator Groups, Mikael Z. Lagerkvist, Christian Schulte.
Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. - Maintaining State in Propagation Solvers, Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack.
Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. - Weakly Monotonic Propagators, Christian Schulte, Guido Tack.
Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. - Constraint Programming in Sweden, Pierre Flener, Mats Carlsson, Christian Schulte.
IEEE Intelligent Systems, IEEE Press, 2009.
2008
- Efficient Constraint Propagation Engines, Christian Schulte, Peter J. Stuckey.
Transactions on Programming Languages and Systems, ACM Press, 2008. - Confidence based Work Stealing, Geoffrey Chu, Christian Schulte, Peter J. Stuckey.
Proceedings of the Eigth International Colloquium on Implementation of Constraint and Logic Programming Systems, 2008. - Dynamic Analysis of Bounds versus Domain Propagation, Christian Schulte, Peter J. Stuckey.
Twenty Fourth International Conference on Logic Programming, Springer-Verlag, 2008. - Perfect Derived Propagators, Christian Schulte, Guido Tack.
Fourteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2008. - Perfect Derived Propagators, Christian Schulte, Guido Tack.
CoRR entry, 2008. - Dynamic Variable Elimination During Propagation Solving, Christian Schulte, Peter J. Stuckey.
Tenth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, ACM Press, 2008.
2007
2006
- Efficient Constraint Propagation Engines, Christian Schulte, Peter J. Stuckey.
CoRR entry, 2006. - Generating Propagators for Finite Set Constraints, Guido Tack, Christian Schulte, Gert Smolka.
Twelfth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2006. - Finite Domain Constraint Programming Systems, Christian Schulte, Mats Carlsson.
Handbook of Constraint Programming, Elsevier Science Publishers, 2006. - Constraints in Procedural and Concurrent Languages, Laurent Michel, Thom Frühwirth, Christian Schulte.
Handbook of Constraint Programming, Elsevier Science Publishers, 2006. - Views and Iterators for Generic Constraint Implementations, Christian Schulte, Guido Tack.
Recent Advances in Constraints (2005), Springer-Verlag, 2006.
2005
- Views and Iterators for Generic Constraint Implementations, Christian Schulte, Guido Tack.
Proceedings of the Fifth International Colloqium on Implementation of Constraint and Logic Programming Systems, 2005. - Views and Iterators for Generic Constraint Implementations, Christian Schulte, Guido Tack.
Eleventh International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2005. - When Do Bounds and Domain Propagation Lead to the Same Search Space?, Christian Schulte, Peter J. Stuckey.
Transactions on Programming Languages and Systems, ACM Press, 2005.
2004-1992
- Thread-based Mobility in Oz, Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi.
Multiparadigm Programming in Mozart/Oz: Second International Conference, 2004. - Speeding Up Constraint Propagation, Christian Schulte, Peter J. Stuckey.
Tenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2004. - Implementation Strategies for Single Assignment Variables, Frej Drejhammar, Christian Schulte.
Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2004), 2004. - Flow Java: Declarative Concurrency for Java, Frej Drejhammar, Christian Schulte, Seif Haridi, Per Brand.
Proceedings of the Nineteenth International Conference on Logic Programming, Springer-Verlag, 2003. Received the best application paper award. - Logic programming in the context of multiparadigm programming: the Oz experience, Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte.
Theory and Practice of Logic Programming, Cambridge University Press, 2003. - Logic programming in the context of multiparadigm programming: the Oz experience, Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte.
CoRR entry, 2002. - Programming Constraint Services, Christian Schulte.
Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002. - When Do Bounds and Domain Propagation Lead to the Same Search Space, Christian Schulte, Peter J. Stuckey.
Third ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, ACM Press, 2001. - Programming Constraint Services, Christian Schulte.
Doctoral Dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik, 2000. - Parallel Search Made Simple, Christian Schulte.
Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, 2000. - Programming Deep Concurrent Constraint Combinators, Christian Schulte.
Practical Aspects of Declarative Languages. PADL 2000, Springer-Verlag, 2000. - Comparing Trailing and Copying for Constraint Programming, Christian Schulte.
Proceedings of the Sixteenth International Conference on Logic Programming, The MIT Press, 1999. - A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling, Denys Duchier, Leif Kornstaedt, Christian Schulte, Gert Smolka.
Draft, 1998. - Futures and By-need Synchronization, Michael Mehl, Christian Schulte, Gert Smolka.
Draft, 1998. - Programming Languages for Distributed Applications, Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte.
New Generation Computing, Omsha, 1998. - Programming Constraint Inference Engines, Christian Schulte.
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 1997. - Oz Explorer: A Visual Constraint Programming Tool, Christian Schulte.
Proceedings of the Fourteenth International Conference on Logic Programming, The MIT Press, 1997. - Solver - An Oz Search Debugger, Christian Schulte.
WOz'95, International Workshop on Oz Programming, 1995. - An Abstract Machine for Oz, Michael Mehl, Ralf Scheidhauer, Christian Schulte.
Programming Languages, Implementations, Logics and Programs, Seventh International Symposium, PLILP'95, Springer-Verlag, 1995. - Encapsulated Search in Higher-order Concurrent Constraint Programming, Christian Schulte, Gert Smolka.
Logic Programming: Proceedings of the 1994 International Symposium, The MIT Press, 1994. - Encapsulated Search and Constraint Programming in Oz, Christian Schulte, Gert Smolka, Jörg Würtz.
Second International Workshop on Principles and Practice of Constraint Programming, Springer-Verlag, 1994. - Entwurf und Implementierung eines übersetzenden
Systems für das intuitionistische logische Programmieren basierend auf
der Warren Abstract Machine, Christian Schulte.
Diploma Thesis, Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe (TH), 1992. In German.