Christian Schulte

Proceedings of the NOMS 2020, 2020

Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization.

[BibT_eX]

[DOI]

Johan Wessén

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Combinatorial Register Allocation and Instruction Scheduling.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2019

Survey on Combinatorial Register Allocation and Instruction Scheduling.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

Arc: an IR for batch and stream programming.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

Models for Radiation Therapy Patient Scheduling.

[BibT_eX]

[DOI]

Sara Frimodig

Proceedings of the Principles and Practice of Constraint Programming, 2019

Arcon: Continuous and Deep Data Stream Analytics.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Real-Time Business Intelligence and Analytics, 2019

2018

Making Compact-Table Compact.

[BibT_eX]

[DOI]

Linnea Ingmar

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Complete and Practical Universal Instruction Selection.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Design and Implementation of Bounded-Length Sequence Variables.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Data driven selection of DRX for energy efficient 5G RAN.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Network and Service Management, 2017

2016

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Compiler Construction, 2016

Increasing Nogoods in Restart-Based Search.

[BibT_eX]

[DOI]

Jimmy H. M. Lee

Zichen Zhu

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Erratum to: Modeling Universal Instruction Selection.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2015

Modeling Universal Instruction Selection.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Combinatorial spill code optimization and ultimate coalescing.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

View-Based Propagator Derivation - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

View-based propagator derivation.

[BibT_eX]

[DOI]

Constraints An Int. J., 2013

Constraint-based code generation.

[BibT_eX]

[DOI]

Frej Drejhammar

Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

2012

Constraint-Based Register Allocation and Instruction Scheduling.

[BibT_eX]

[DOI]

Frej Drejhammar

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Optimization of task assignment to collaborating agents.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Symposium on Computational Intelligence in Scheduling, 2011

2010

Testing Continuous Double Auctions with a Constraint-Based Oracle.

[BibT_eX]

[DOI]

Lars Wahlberg

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Erratum to "Efficient constraint propagation engines".

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2009

Constraint Programming in Sweden.

[BibT_eX]

[DOI]

Pierre Flener

IEEE Intell. Syst., 2009

Weakly Monotonic Propagators.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Maintaining State in Propagation Solvers.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

Propagator Groups.

[BibT_eX]

[DOI]

Mikael Z. Lagerkvist

Proceedings of the Principles and Practice of Constraint Programming, 2009

Generating Optimal Stowage Plans for Container Vessel Bays.

[BibT_eX]

[DOI]

Alberto Delgado

Rune Møller Jensen

Proceedings of the Principles and Practice of Constraint Programming, 2009

Confidence-Based Work Stealing in Parallel Constraint Programming.

[BibT_eX]

[DOI]

Geoffrey Chu

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Efficient constraint propagation engines.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Dynamic variable elimination during propagation solving.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Dynamic Analysis of Bounds Versus Domain Propagation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Perfect Derived Propagators.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Advisors for Incremental Propagation.

[BibT_eX]

[DOI]

Mikael Z. Lagerkvist

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Finite Domain Constraint Programming Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Constraint Programming, 2006

Constraints in Procedural and Concurrent Languages.

[BibT_eX]

[DOI]

Thom W. Frühwirth

Laurent Michel

Proceedings of the Handbook of Constraint Programming, 2006

Generating Propagators for Finite Set Constraints.

[BibT_eX]

[DOI]

Gert Smolka

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

When do bounds and domain propagation lead to the same search space?

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Views and Iterators for Generic Constraint Implementations.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Thread-Based Mobility in Oz.

[BibT_eX]

[DOI]

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Speeding Up Constraint Propagation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Logic programming in the context of multiparadigm programming: the Oz experience.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Flow Java: Declarative Concurrency for Java.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Programming Constraint Services: High-Level Programming of Standard and New Constraint Services

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 2302, Springer, ISBN: 3-540-43371-6, 2002

2000

Programming constraint services.

[BibT_eX]

[DOI]

PhD thesis, 2000

Programming Deep Concurrent Constraint Combinators.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

1999

Comparing Trailing and Copying for Constraint Programming.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Programming Languages for Distributed Applications.

[BibT_eX]

[DOI]

New Gener. Comput., 1998

1997

Tools and Environments for (Constraint) Logic Programming (Workshop Overview).

[BibT_eX]

Proceedings of the Logic Programming, 1997

Using the Oz Explorer for the Development of Constraint Programs.

[BibT_eX]

Proceedings of the 8th Workshop on Logic Programming Environments, 1997

Programming Constraint Inference Engines.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1996

Oz Explorer: A Visual Constraint Programming Tool.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

1995

An Abstract Machine for Oz

[BibT_eX]

[DOI]

Michael Mehl

Ralf Scheidhauer

Proceedings of the Programming Languages: Implementations, 1995

1994

Encapsulated Search for Higher-order Concurrent Constraint Programming.

[BibT_eX]

Gert Smolka

Proceedings of the Logic Programming, 1994

Encapsulated Search and Constraint Programming in Oz.

[BibT_eX]

[DOI]

Gert Smolka

Jörg Würtz

Proceedings of the Principles and Practice of Constraint Programming, 1994

1991

Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine.

[BibT_eX]