Christian Schulte

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 16

Top Venues

CoRR

Constraints An Int. J.

CPAIOR

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme

MSC

Publications

Johan Wessén, Mats Carlsson, Christian Schulte, Pierre Flener, Federico Pecora, Mihhail Matskin
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot. Constraints An Int. J. 28 (2) (2023)
Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
A history of the Oz multiparadigm language. Proc. ACM Program. Lang. 4 (HOPL) (2020)
Johan Wessén, Mats Carlsson, Christian Schulte
Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. CPAIOR (2020)
Diarmuid Corcoran, Per Kreuger, Christian Schulte
Efficient Real-Time Traffic Generation for 5G RAN. NOMS (2020)
Max Meldrum, Klas Segeljakt, Lars Kroll, Paris Carbone, Christian Schulte, Seif Haridi
Arcon: Continuous and Deep Data Stream Analytics. BIRTE (2019)
Lars Kroll, Klas Segeljakt, Paris Carbone, Christian Schulte, Seif Haridi
Arc: an IR for batch and stream programming. DBPL (2019)
Roberto Castañeda Lozano, Christian Schulte
Survey on Combinatorial Register Allocation and Instruction Scheduling. ACM Comput. Surv. 52 (3) (2019)
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Combinatorial Register Allocation and Instruction Scheduling. ACM Trans. Program. Lang. Syst. 41 (3) (2019)
Sara Frimodig, Christian Schulte
Models for Radiation Therapy Patient Scheduling. CP (2019)
Linnea Ingmar, Christian Schulte
Making Compact-Table Compact. CP (2018)
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Combinatorial Register Allocation and Instruction Scheduling. CoRR (2018)
Diarmuid Corcoran, Loghman Andimeh, Andreas Ermedahl, Per Kreuger, Christian Schulte
Data driven selection of DRX for energy efficient 5G RAN. CNSM (2017)
Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte
Design and Implementation of Bounded-Length Sequence Variables. CPAIOR (2017)
Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte
Complete and Practical Universal Instruction Selection. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Register allocation and instruction scheduling in Unison. CC (2016)
Jimmy H. M. Lee, Christian Schulte, Zichen Zhu
Increasing Nogoods in Restart-Based Search. AAAI (2016)
Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
Erratum to: Modeling Universal Instruction Selection. CP (2015)
Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
Modeling Universal Instruction Selection. CP (2015)
Roberto Castañeda Lozano, Christian Schulte
Survey on Combinatorial Register Allocation and Instruction Scheduling. CoRR (2014)
Christian Schulte, Guido Tack
View-Based Propagator Derivation - (Extended Abstract). CP (2014)
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Combinatorial spill code optimization and ultimate coalescing. LCTES (2014)
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. LION (2013)
Christian Schulte, Guido Tack
View-based propagator derivation. Constraints An Int. J. 18 (1) (2013)
Roberto Castañeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte
Constraint-based code generation. M-SCOPES (2013)
Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte
Constraint-Based Register Allocation and Instruction Scheduling. CP (2012)
Irfan Younas, Farzad Kamrani, Christian Schulte, Rassul Ayani
Optimization of task assignment to collaborating agents. CISched (2011)
Roberto Castañeda Lozano, Christian Schulte, Lars Wahlberg
Testing Continuous Double Auctions with a Constraint-Based Oracle. CP (2010)
Pierre Flener, Mats Carlsson, Christian Schulte
Constraint Programming in Sweden. IEEE Intell. Syst. 24 (2) (2009)
Mikael Z. Lagerkvist, Christian Schulte
Propagator Groups. CP (2009)
Geoffrey Chu, Christian Schulte, Peter J. Stuckey
Confidence-Based Work Stealing in Parallel Constraint Programming. CP (2009)
Christian Schulte, Peter J. Stuckey
Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31 (2) (2009)
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
Maintaining State in Propagation Solvers. CP (2009)
Christian Schulte, Guido Tack
View-based Propagator Derivation CoRR (2009)
Christian Schulte, Guido Tack
Weakly Monotonic Propagators. CP (2009)
Alberto Delgado, Rune Møller Jensen, Christian Schulte
Generating Optimal Stowage Plans for Container Vessel Bays. CP (2009)
Christian Schulte, Peter J. Stuckey
Dynamic Analysis of Bounds Versus Domain Propagation. ICLP (2008)
Christian Schulte, Peter J. Stuckey
Dynamic variable elimination during propagation solving. PPDP (2008)
Christian Schulte, Guido Tack
Perfect Derived Propagators. CP (2008)
Christian Schulte, Guido Tack
Perfect Derived Propagators CoRR (2008)
Christian Schulte, Peter J. Stuckey
Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Mikael Z. Lagerkvist, Christian Schulte
Advisors for Incremental Propagation. CP (2007)
Christian Schulte, Peter J. Stuckey
Efficient constraint propagation engines CoRR (2006)
Guido Tack, Christian Schulte, Gert Smolka
Generating Propagators for Finite Set Constraints. CP (2006)
Christian Schulte, Peter J. Stuckey
When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. 27 (3) (2005)
Christian Schulte, Guido Tack
Views and Iterators for Generic Constraint Implementations. CP (2005)
Christian Schulte, Guido Tack
Views and Iterators for Generic Constraint Implementations. CSCLP (2005)
Christian Schulte, Peter J. Stuckey
Speeding Up Constraint Propagation. CP (2004)
Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi
Thread-Based Mobility in Oz. MOZ (2004)
Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi
Flow Java: Declarative Concurrency for Java. ICLP (2003)
Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
Logic programming in the context of multiparadigm programming: the Oz experience. Theory Pract. Log. Program. 3 (6) (2003)
Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
Logic programming in the context of multiparadigm programming: the Oz experience CoRR (2002)
Christian Schulte, Peter J. Stuckey
When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP (2001)
Christian Schulte
Programming Deep Concurrent Constraint Combinators. PADL (2000)
Christian Schulte
Comparing Trailing and Copying for Constraint Programming. ICLP (1999)
Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
Programming Languages for Distributed Applications. New Gener. Comput. 16 (3) (1998)
Christian Schulte
Oz Explorer: A Visual Constraint Programming Tool. ICLP (1997)
Christian Schulte
Using the Oz Explorer for the Development of Constraint Programs. LPE (1997)
Christian Schulte
Programming Constraint Inference Engines. CP (1997)
Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS (1997)
Christian Schulte
Oz Explorer: A Visual Constraint Programming Tool. PLILP (1996)
Michael Mehl, Ralf Scheidhauer, Christian Schulte
An Abstract Machine for Oz PLILP (1995)
Christian Schulte, Gert Smolka, Jörg Würtz
Encapsulated Search and Constraint Programming in Oz. PPCP (1994)
Christian Schulte, Gert Smolka
Encapsulated Search for Higher-order Concurrent Constraint Programming. ILPS (1994)

Christian Schulte.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Schulte