papers-type.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
	<meta http-equiv="content-type" content="text/html"; charset="utf-8" />
	<meta name="author" content="Christian Schulte" />
	<link rel="stylesheet" type="text/css" 
              href="https://chschulte.github.io/style.css" title="1024px" media="screen,projection" />
	<title>Christian Schulte: Papers</title>
</head>

<body>
<div id="wrap">
  <div id="header">
    <p id="toplinks">[<a href="#content">content</a> | 
<a href="#sidebar">navigation</a> |                      <a href="#footer">footer</a>]
    </p>
    <h1>Papers</h1>
    <p id="slogan">Christian Schulte</p>
  </div>
<div id="sidebar"><h2>information</h2><ul><li><a href="https://chschulte.github.io/index.html">main</a></li><li><a href="https://chschulte.github.io/contact.html">contact</a></li><li><a class="gray" href="https://chschulte.github.io/papers.html">papers</a></li><li><a href="https://chschulte.github.io/software.html">software</a></li><li><a href="https://chschulte.github.io/education.html">education</a></li><li><a href="https://chschulte.github.io/presentations.html">presentations</a></li><li><a href="https://chschulte.github.io/bio.html">short bio</a></li></ul><h2>options</h2><ul>
<li><a  href="papers.html">selected</a></li>
<li><a  href="papers-year.html">by year</a></li>
<li><a class="gray" href="papers-type.html">by type</a></li>
</ul></div>
<div id="content">

<p class="navig">
[<a href="#book">books</a> |
 <a href="#journal">journals</a> |
 <a href="#chapter">book chapters</a> |
 <a href="#conference">conferences</a> |
 <a href="#workshop">workshops</a> |
 <a href="#report">reports &amp; drafts</a> |
 <a href="#theses">theses</a> |
 <a href="#doc">documentation</a>]
</p>
  <h2 id="book">Books</h2><ul>  <li><a href="papers/schulte-cp-2013.html">Principles and Practice of Constraint Programming - CP 2013</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte (Ed.)</a></span>.<br />Lecture Notes in Computer Science 8124, Springer-Verlag, 2013. </li>  <li><a href="papers/schulte-lnai-2002.html">Programming Constraint Services</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002. </li></ul><h2 id="journal">Journal Articles</h2><ul>  <li><a href="papers/castanedacarlssonea-toplas-2019.html">Combinatorial Register Allocation and Instruction Scheduling</a>, <span class="authors"><a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a>, <a href="https://www.kth.se/profile/ghb">Gabriel Hjort Blindell</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Transactions on Programming Languages and Systems, ACM Press, 2019. </li>  <li><a href="papers/castanedaschulte-csur-2019.html">Survey on Combinatorial Register Allocation and Instruction Scheduling</a>, <span class="authors"><a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Computing Surveys, ACM Press, 2019. </li>  <li><a href="papers/hjortblindellcarlssonea-tecs-2017.html">Complete and Practical Universal Instruction Selection</a>, <span class="authors"><a href="https://www.kth.se/profile/ghb">Gabriel Hjort Blindell</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a>, <a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Transactions on Embedded Computing Systems, ACM Press, 2017. </li>  <li><a href="papers/schultetack-constraints-2012.html">View-based Propagator Derivation</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Constraints, Springer-Verlag, 2013. </li>  <li><a href="papers/flenercarlssonschulte-is-2009.html">Constraint Programming in Sweden</a>, <span class="authors"><a href="http://user.it.uu.se/~pierref/">Pierre Flener</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />IEEE Intelligent Systems, IEEE Press, 2009. </li>  <li><a href="papers/schultestuckey-toplas-2008.html">Efficient Constraint Propagation Engines</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />Transactions on Programming Languages and Systems, ACM Press, 2008. </li>  <li><a href="papers/schultestuckey-toplas-2005.html">When Do Bounds and Domain Propagation Lead to the Same Search Space?</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />Transactions on Programming Languages and Systems, ACM Press, 2005. </li>  <li><a href="papers/vanroybrandea-tplp-2003.html">Logic programming in the context of multiparadigm programming: the Oz experience</a>, <span class="authors"><a href="https://www.info.ucl.ac.be/~pvr/cvvanroy.html">Peter Van Roy</a>, Per Brand, <a href="https://www.univ-orleans.fr/lifo/Members/duchier/index_en.html">Denys Duchier</a>, <a href="https://www.sics.se/people/seif-haridi">Seif Haridi</a>, <a href="https://www.comp.nus.edu.sg/~henz/">Martin Henz</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Theory and Practice of Logic Programming, Cambridge University Press, 2003. </li>  <li><a href="papers/haridivanroyea-ngc-1998.html">Programming Languages for Distributed Applications</a>, <span class="authors"><a href="https://www.sics.se/people/seif-haridi">Seif Haridi</a>, <a href="https://www.info.ucl.ac.be/~pvr/cvvanroy.html">Peter Van Roy</a>, Per Brand, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />New Generation Computing, Omsha, 1998. </li></ul><h2 id="chapter">Book Chapters</h2><ul>  <li><a href="papers/michelschultevanhentenryck-tcp-2007.html">Constraint Programming Tools</a>, <span class="authors"><a href="https://ldm.engr.uconn.edu/">Laurent Michel</a>, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://www.scl.gatech.edu/users/pascal-van-hentenryck">Pascal Van Hentenryck</a></span>.<br />Trends in Constraint Programming, ISTE, 2007. </li>  <li><a href="papers/schultecarlsson-cph-2006.html">Finite Domain Constraint Programming Systems</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a></span>.<br />Handbook of Constraint Programming, Elsevier Science Publishers, 2006. </li>  <li><a href="papers/michelfruhwirthschulte-cph-2006.html">Constraints in Procedural and Concurrent Languages</a>, <span class="authors"><a href="https://ldm.engr.uconn.edu/">Laurent Michel</a>, <a href="http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/">Thom Frühwirth</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Handbook of Constraint Programming, Elsevier Science Publishers, 2006. </li>  <li><a href="papers/schultetack-advances-2006.html">Views and Iterators for Generic Constraint Implementations</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Recent Advances in Constraints (2005), Springer-Verlag, 2006. </li></ul><h2 id="conference">Conference Articles</h2><ul>  <li><a href="papers/frimodigschulte-cp-2019.html">Models for Radiation Therapy Patient Scheduling</a>, <span class="authors"><a href="https://www.kth.se/profile/sarhal">Sara Frimodig</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Twentyfifth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2019. </li>  <li><a href="papers/frimodigschulte-cpaior-2019.html">Radiation Therapy Patient Scheduling</a>, <span class="authors"><a href="https://www.kth.se/profile/sarhal">Sara Frimodig</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Springer-Verlag, 2019. Extended Abstract. </li>  <li><a href="papers/ingmarschulte-cp-2018.html">Making Compact-Table Compact</a>, <span class="authors"><a href="https://www.linkedin.com/in/linnea-ingmar-a4620bba/">Linnea Ingmar</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Twentyforth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2018. </li>  <li><a href="papers/corcoranandimehea-cnsm-2017.html">Data Driven Selection of DRX for Energy Efficient 5G RAN</a>, <span class="authors"><a href="https://www.kth.se/profile/diarmuid/">Diarmuid Corcoran</a>, Logman Andimeh, Andreas Ermedahl, <a href="https://www.sics.se/people/per-kreuger">Per Kreuger</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />International Conference on Network and Service Management, IEEE, 2017. </li>  <li><a href="papers/scottflenerea-cpaior-2017.html">Design and Implementation of Bounded-Length Sequence Variables</a>, <span class="authors">Joseph D. Scott, <a href="http://user.it.uu.se/~pierref/">Pierre Flener</a>, <a href="http://user.it.uu.se/~justin/">Justin Pearson</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, Springer-Verlag, 2017. </li>  <li><a href="papers/leeschulteea-aaai-2016.html">Increasing Nogoods in Restart-Based Search</a>, <span class="authors"><a href="http://www.cse.cuhk.edu.hk/~jlee/">Jimmy Ho Man Lee</a>, <a href="https://chschulte.github.io/">Christian Schulte</a>, Zichen Zhu</span>.<br />AAAI Conference on Artificial Intelligence, AAAI Press, 2016. </li>  <li><a href="papers/hjortblindellcastanedaea-cp-2015.html">Modeling Universal Instruction Selection</a>, <span class="authors"><a href="https://www.kth.se/profile/ghb">Gabriel Hjort Blindell</a>, <a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Twentyfirst International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2015. </li>  <li><a href="papers/schultetack-cp-2014.html">View-based Propagator Derivation</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Twentieth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2014. </li>  <li><a href="papers/castanedacarlssonea-lctes-2014.html">Combinatorial Spill Code Optimization and Ultimate Coalescing</a>, <span class="authors"><a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a>, <a href="https://www.kth.se/profile/ghb">Gabriel Hjort Blindell</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Languages, Compilers, Tools and Theory for Embedded Systems, ACM Press, 2014. </li>  <li><a href="papers/lothsebagea-lion-2013.html">Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop problem</a>, <span class="authors">Manuel Loth, <a href="https://www.lri.fr/~sebag/">Michèle Sebag</a>, <a href="https://www.linkedin.com/in/youssef-hamadi-778a033/">Youssef Hamadi</a>, <a href="https://www.lri.fr/~marc/">Marc Schoenauer</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Learning and Intelligent OptimizatioN Conference (Lion 7), 2013. </li>  <li><a href="papers/castanedacarlssonea-cp-2012.html">Constraint-based Register Allocation and Instruction Scheduling</a>, <span class="authors"><a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a>, <a href="https://www.sics.se/people/frej-drejhammar">Frej Drejhammar</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Eighteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2012. </li>  <li><a href="papers/younaskamraniea-cisched-2011.html">Optimization of Task Assignment to Collaborating Agents</a>, <span class="authors">Irfan Younas, Farzad Kamrani, <a href="https://chschulte.github.io/">Christian Schulte</a>, Rassul Ayani</span>.<br />IEEE Symposium on Computational Intelligence in Scheduling, 2011. </li>  <li><a href="papers/castanedaschultewahlberg-cp-2010.html">Testing Continuous Double Auctions with a Constraint-based Oracle</a>, <span class="authors"><a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://chschulte.github.io/">Christian Schulte</a>, Lars Wahlberg</span>.<br />Sixteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2010. </li>  <li><a href="papers/chuschultestuckey-cp-2009.html">Confidence-based Work Stealing in Parallel Constraint Programming</a>, <span class="authors">Geoffrey Chu, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. </li>  <li><a href="papers/delgadojensenschulte-cp-2009.html">Generating Optimal Stowage Plans for Container Vessel Bays</a>, <span class="authors"><a href="https://www.linkedin.com/in/alberto-delgado-b528495/">Alberto Delgado</a>, Rune Møller Jensen, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. </li>  <li><a href="papers/lagerkvistschulte-cp-2009.html">Propagator Groups</a>, <span class="authors"><a href="https://zayenz.se/">Mikael Z. Lagerkvist</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. </li>  <li><a href="papers/reischukschulteea-cp-2009.html">Maintaining State in Propagation Solvers</a>, <span class="authors"><a href="https://www.reischuk.ch/web/">Raphael M. Reischuk</a>, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. </li>  <li><a href="papers/schultetack-cp-2009.html">Weakly Monotonic Propagators</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Fifteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2009. </li>  <li><a href="papers/schultestuckey-iclp-2008.html">Dynamic Analysis of Bounds versus Domain Propagation</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />Twenty Fourth International Conference on Logic Programming, Springer-Verlag, 2008. </li>  <li><a href="papers/schultetack-cp-2008.html">Perfect Derived Propagators</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Fourteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2008. </li>  <li><a href="papers/schultestuckey-ppdp-2008.html">Dynamic Variable Elimination During Propagation Solving</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />Tenth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, ACM Press, 2008. </li>  <li><a href="papers/lagerkvistschulte-cp-2007.html">Advisors for Incremental Propagation</a>, <span class="authors"><a href="https://zayenz.se/">Mikael Z. Lagerkvist</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Thirteenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2007. </li>  <li><a href="papers/tackschultesmolka-cp-2006.html">Generating Propagators for Finite Set Constraints</a>, <span class="authors"><a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a>, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="http://www.ps.uni-saarland.de/~smolka/">Gert Smolka</a></span>.<br />Twelfth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2006. </li>  <li><a href="papers/schultetack-cp-2005.html">Views and Iterators for Generic Constraint Implementations</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Eleventh International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2005. </li>  <li><a href="papers/havelkaschulteea-moz-2004.html">Thread-based Mobility in Oz</a>, <span class="authors">Dragan Havelka, <a href="https://chschulte.github.io/">Christian Schulte</a>, Per Brand, <a href="https://www.sics.se/people/seif-haridi">Seif Haridi</a></span>.<br />Multiparadigm Programming in Mozart/Oz: Second International Conference, 2004. </li>  <li><a href="papers/schultestuckey-cp-2004.html">Speeding Up Constraint Propagation</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />Tenth International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 2004. </li>  <li><a href="papers/drejhammarschulteea-iclp-2003.html">Flow Java: Declarative Concurrency for Java</a>, <span class="authors"><a href="https://www.sics.se/people/frej-drejhammar">Frej Drejhammar</a>, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://www.sics.se/people/seif-haridi">Seif Haridi</a>, Per Brand</span>.<br />Proceedings of the Nineteenth International Conference on Logic Programming, Springer-Verlag, 2003. Received the best application paper award. </li>  <li><a href="papers/schultestuckey-ppdp-2001.html">When Do Bounds and Domain Propagation Lead to the Same Search Space</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />Third ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, ACM Press, 2001. </li>  <li><a href="papers/schulte-padl-2000.html">Programming Deep Concurrent Constraint Combinators</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Practical Aspects of Declarative Languages. PADL 2000, Springer-Verlag, 2000. </li>  <li><a href="papers/schulte-iclp-1999.html">Comparing Trailing and Copying for Constraint Programming</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Proceedings of the Sixteenth International Conference on Logic Programming, The MIT Press, 1999. </li>  <li><a href="papers/schulte-cp-1997.html">Programming Constraint Inference Engines</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, 1997. </li>  <li><a href="papers/schulte-iclp-1997.html">Oz Explorer: A Visual Constraint Programming Tool</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Proceedings of the Fourteenth International Conference on Logic Programming, The MIT Press, 1997. </li>  <li><a href="papers/mehlscheidhauerschulte-plilp-1995.html">An Abstract Machine for Oz</a>, <span class="authors">Michael Mehl, Ralf Scheidhauer, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Programming Languages, Implementations, Logics and Programs, Seventh International Symposium, PLILP'95, Springer-Verlag, 1995. </li>  <li><a href="papers/schultesmolka-ilps-1994.html">Encapsulated Search in Higher-order Concurrent Constraint Programming</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="http://www.ps.uni-saarland.de/~smolka/">Gert Smolka</a></span>.<br />Logic Programming: Proceedings of the 1994 International Symposium, The MIT Press, 1994. </li></ul><h2 id="workshop">Workshop Articles</h2><ul>  <li><a href="papers/krollsegeljaktea-dbpl-2019.html">Arc: An IR for Batch and Stream Programming</a>, <span class="authors"><a href="https://www.kth.se/profile/lkroll/">Lars Kroll</a>, <a href="https://www.kth.se/profile/klasseg/">Klas Segeljakt</a>, <a href="https://www.ri.se/en/paris-carbone">Paris Carbone</a>, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://www.sics.se/people/seif-haridi">Seif Haridi</a></span>.<br />Seventeenth ACM SIGPLAN International Symposium on Database Programming Languages, ACM Press, 2019. </li>  <li><a href="papers/lothsebagea-cocomile-2013.html">Bandit-based Search for Constraint Programming</a>, <span class="authors">Manuel Loth, <a href="https://www.lri.fr/~sebag/">Michèle Sebag</a>, <a href="https://www.linkedin.com/in/youssef-hamadi-778a033/">Youssef Hamadi</a>, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://www.lri.fr/~marc/">Marc Schoenauer</a></span>.<br />COmbining COnstraint solving with MIning and LEarning, 2013. </li>  <li><a href="papers/castanedacarlssonea-mscopes-2013.html">Constraint-based Code Generation</a>, <span class="authors"><a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://www.kth.se/profile/ghb">Gabriel Hjort Blindell</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a>, <a href="https://www.sics.se/people/frej-drejhammar">Frej Drejhammar</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Sixteenth International Workshop on Software and Compilers for Embedded Systems, ACM Press, 2013. </li>  <li><a href="papers/schultetack-trics-2010.html">Implementing Efficient Propagation Control</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a conference workshop of CP 2010, 2010. </li>  <li><a href="papers/chuschultestuckey-ciclops-2008.html">Confidence based Work Stealing</a>, <span class="authors">Geoffrey Chu, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />Proceedings of the Eigth International Colloquium on Implementation of Constraint and Logic Programming Systems, 2008. </li>  <li><a href="papers/schultetack-ciclops-2005.html">Views and Iterators for Generic Constraint Implementations</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />Proceedings of the Fifth International Colloqium on Implementation of Constraint and Logic Programming Systems, 2005. </li>  <li><a href="papers/drejhammarschulte-ciclops-2004.html">Implementation Strategies for Single Assignment Variables</a>, <span class="authors"><a href="https://www.sics.se/people/frej-drejhammar">Frej Drejhammar</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Colloquium on  Implementation of Constraint and LOgic Programming Systems (CICLOPS 2004), 2004. </li>  <li><a href="papers/schulte-trics-2000.html">Parallel Search Made Simple</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, 2000. </li>  <li><a href="papers/schulte-woz-1995.html">Solver - An Oz Search Debugger</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />WOz'95, International Workshop on Oz Programming, 1995. </li>  <li><a href="papers/schultesmolkawuertz-ppcp-1994.html">Encapsulated Search and Constraint Programming in Oz</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="http://www.ps.uni-saarland.de/~smolka/">Gert Smolka</a>, Jörg Würtz</span>.<br />Second International Workshop on Principles and Practice of Constraint Programming, Springer-Verlag, 1994. </li></ul><h2 id="report">Reports and Drafts</h2><ul>  <li><a href="papers/castanedacarlssonea-ccor-2018.html">Combinatorial Register Allocation and Instruction Scheduling</a>, <span class="authors"><a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://www.sics.se/people/mats-carlsson">Mats Carlsson</a>, <a href="https://www.kth.se/profile/ghb">Gabriel Hjort Blindell</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />CoRR entry, 2018. </li>  <li><a href="papers/castanedaschulte-ccor-2014.html">Survey on Combinatorial Register Allocation and Instruction Scheduling</a>, <span class="authors"><a href="https://robcasloz.github.io/">Roberto Castañeda Lozano</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />CoRR entry, 2014. </li>  <li><a href="papers/schultetack-ccor-2009.html">View-based Propagator Derivation</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />CoRR entry, 2009. </li>  <li><a href="papers/schultetack-ccor-2008.html">Perfect Derived Propagators</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a></span>.<br />CoRR entry, 2008. </li>  <li><a href="papers/schultestuckey-ccor-2006.html">Efficient Constraint Propagation Engines</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/peter-stuckey">Peter J. Stuckey</a></span>.<br />CoRR entry, 2006. </li>  <li><a href="papers/vanroybrandea-ccor-2002.html">Logic programming in the context of multiparadigm programming: the Oz experience</a>, <span class="authors"><a href="https://www.info.ucl.ac.be/~pvr/cvvanroy.html">Peter Van Roy</a>, Per Brand, <a href="https://www.univ-orleans.fr/lifo/Members/duchier/index_en.html">Denys Duchier</a>, <a href="https://www.sics.se/people/seif-haridi">Seif Haridi</a>, <a href="https://www.comp.nus.edu.sg/~henz/">Martin Henz</a>, <a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />CoRR entry, 2002. </li>  <li><a href="papers/duchierkornstaedtea-draft-1998.html">A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling</a>, <span class="authors"><a href="https://www.univ-orleans.fr/lifo/Members/duchier/index_en.html">Denys Duchier</a>, Leif Kornstaedt, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="http://www.ps.uni-saarland.de/~smolka/">Gert Smolka</a></span>.<br />Draft, 1998. </li>  <li><a href="papers/mehlschultesmolka-draft-1998.html">Futures and By-need Synchronization</a>, <span class="authors">Michael Mehl, <a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="http://www.ps.uni-saarland.de/~smolka/">Gert Smolka</a></span>.<br />Draft, 1998. </li></ul><h2 id="theses">Theses</h2><ul>  <li><a href="papers/schulte-phd-2000.html">Programming Constraint Services</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Doctoral Dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik, 2000. </li>  <li><a href="papers/schulte-master-1992.html">Entwurf und Implementierung eines übersetzenden
Systems für das intuitionistische logische Programmieren basierend auf
der Warren Abstract Machine</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a></span>.<br />Diploma Thesis, Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe (TH), 1992. In German. </li></ul><h2 id="doc">Technical Documentation</h2><ul>  <li><a href="papers/schultetacklagerkvist-mpg-2010.html">Modeling and Programming with Gecode</a>, <span class="authors"><a href="https://chschulte.github.io/">Christian Schulte</a>, <a href="https://research.monash.edu/en/persons/guido-tack">Guido Tack</a>, <a href="https://zayenz.se/">Mikael Z. Lagerkvist</a></span>.<br />Technical documentation, 2010. </li></ul>
</div>


  <div id="footer">
    &copy; 2009 <a href="https://chschulte.github.io/">Christian Schulte</a> (Thu Sep 12 14:39:34 2019) |
    original design by <a href="https://andreasviklund.com/"
    >Andreas Viklund</a>
  </div>

</div>
</body>
</html>