Selected Papers
- Complete and Practical Universal Instruction Selection, Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte.
Transactions on Embedded Computing Systems, 2017. To appear. - 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, 2017. To appear. - Increasing Nogoods in Restart-Based Search, Jimmy Ho Man Lee, Christian Schulte, Zichen Zhu.
AAAI Conference on Artificial Intelligence, 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, 2015. - 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, 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, 2014. - 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. - 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, 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, 2012. - 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, 2010. - Modeling and Programming with Gecode, Christian Schulte, Guido Tack, Mikael Z. Lagerkvist.
Technical documentation, 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, 2009. - Propagator Groups, Mikael Z. Lagerkvist, Christian Schulte.
Fifteenth International Conference on Principles and Practice of Constraint Programming, 2009. - Weakly Monotonic Propagators, Christian Schulte, Guido Tack.
Fifteenth International Conference on Principles and Practice of Constraint Programming, 2009. - Efficient Constraint Propagation Engines, Christian Schulte, Peter J. Stuckey.
Transactions on Programming Languages and Systems, 2008. - Dynamic Variable Elimination During Propagation Solving, Christian Schulte, Peter J. Stuckey.
Tenth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2008. - Advisors for Incremental Propagation, Mikael Z. Lagerkvist, Christian Schulte.
Thirteenth International Conference on Principles and Practice of Constraint Programming, 2007. - Finite Domain Constraint Programming Systems, Christian Schulte, Mats Carlsson.
Handbook of Constraint Programming, 2006. - When Do Bounds and Domain Propagation Lead to the Same Search Space?, Christian Schulte, Peter J. Stuckey.
Transactions on Programming Languages and Systems, 2005.