[books |
journals |
book chapters |
conferences |
workshops |
reports & drafts |
theses |
documentation]
Books
Journal Articles
- 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. - Survey on Combinatorial Register Allocation and Instruction Scheduling, Roberto Castañeda Lozano, Christian Schulte.
Computing Surveys, ACM Press, 2019. - 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. - View-based Propagator Derivation, Christian Schulte, Guido Tack.
Constraints, Springer-Verlag, 2013. - Constraint Programming in Sweden, Pierre Flener, Mats Carlsson, Christian Schulte.
IEEE Intelligent Systems, IEEE Press, 2009. - Efficient Constraint Propagation Engines, Christian Schulte, Peter J. Stuckey.
Transactions on Programming Languages and Systems, ACM Press, 2008. - 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. - 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. - Programming Languages for Distributed Applications, Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte.
New Generation Computing, Omsha, 1998.
Book Chapters
- Constraint Programming Tools, Laurent Michel, Christian Schulte, Pascal Van Hentenryck.
Trends in Constraint Programming, ISTE, 2007. - 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.
Conference Articles
- Models for Radiation Therapy Patient Scheduling, Sara Frimodig, Christian Schulte.
Twentyfifth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 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. - Making Compact-Table Compact, Linnea Ingmar, Christian Schulte.
Twentyforth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2018. - 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. - 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. - Increasing Nogoods in Restart-Based Search, Jimmy Ho Man Lee, Christian Schulte, Zichen Zhu.
AAAI Conference on Artificial Intelligence, AAAI Press, 2016. - Modeling Universal Instruction Selection, Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte.
Twentyfirst International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2015. - 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. - 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. - Constraint-based Register Allocation and Instruction Scheduling, Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte.
Eighteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2012. - Optimization of Task Assignment to Collaborating Agents, Irfan Younas, Farzad Kamrani, Christian Schulte, Rassul Ayani.
IEEE Symposium on Computational Intelligence in Scheduling, 2011. - 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. - 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. - 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. - 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. - Advisors for Incremental Propagation, Mikael Z. Lagerkvist, Christian Schulte.
Thirteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2007. - 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. - Views and Iterators for Generic Constraint Implementations, Christian Schulte, Guido Tack.
Eleventh International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2005. - 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. - 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. - 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 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. - 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. - 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.
Workshop Articles
- 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. - 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. - Implementing Efficient Propagation Control, Christian Schulte, Guido Tack.
Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a conference workshop of CP 2010, 2010. - 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. - 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. - Implementation Strategies for Single Assignment Variables, Frej Drejhammar, Christian Schulte.
Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2004), 2004. - Parallel Search Made Simple, Christian Schulte.
Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, 2000. - Solver - An Oz Search Debugger, Christian Schulte.
WOz'95, International Workshop on Oz Programming, 1995. - 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.
Reports and Drafts
- Combinatorial Register Allocation and Instruction Scheduling, Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte.
CoRR entry, 2018. - 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.
CoRR entry, 2009. - Perfect Derived Propagators, Christian Schulte, Guido Tack.
CoRR entry, 2008. - Efficient Constraint Propagation Engines, Christian Schulte, Peter J. Stuckey.
CoRR entry, 2006. - 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. - 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.
Theses
- Programming Constraint Services, Christian Schulte.
Doctoral Dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik, 2000. - 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.
Technical Documentation