Roman Barták

Theory Pract. Log. Program., 2017

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.

[BibT_eX]

[DOI]

AI Mag., 2017

k-Robust Multi-Agent Path Finding.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

3D Navigation for a Mobile Robot.

[BibT_eX]

[DOI]

Jan Skoda

Proceedings of the ROBOT 2017: Third Iberian Robotics Conference, 2017

Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models.

[BibT_eX]

[DOI]

Adrien Maillard

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Modeling and Solving the Multi-agent Pathfinding Problem in Picat.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

Using Machine Learning to Identify Activities of a Flying Drone from Sensor Readings.

[BibT_eX]

[DOI]

Marta Vomlelová

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Minimization of useless work in resource failure recovery of workflow schedules.

[BibT_eX]

[DOI]

Zdenek Hanzálek

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Introduction to the special issue on constraint satisfaction for planning and scheduling.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2016

An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

To Plan or to Simply React? An Experimental Study of Action Planning in a Game Environment.

[BibT_eX]

[DOI]

Comput. Intell., 2016

Using Attribute Grammars to Model Nested Workflows with Extra Constraints.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station.

[BibT_eX]

[DOI]

Jan Jelínek

Proceedings of the Practical Aspects of Declarative Languages, 2016

Hierarchical Task Model for Resource Failure Recovery in Production Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2016

Using a Grammar Checker to Validate Compliance of Processes with Workflow Models.

[BibT_eX]

[DOI]

Vladislav Kubon

Proceedings of the Advances in Computational Intelligence, 2016

On Verification of Workflow and Planning Domain Models Using Attribute Grammars.

[BibT_eX]

[DOI]

Tomás Dvorák

Proceedings of the Advances in Computational Intelligence, 2016

Guiding Planning Engines by Transition-Based Domain Control Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

The Effect of Domain Modeling on Efficiency of Planning.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.

[BibT_eX]

[DOI]

Agostino Dovier

Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Practical 3D Tracking Using Low-Cost Cameras.

[BibT_eX]

[DOI]

Michal Koutný

David Obdrzálek

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

The Benefit of Control Knowledge and Heuristics During Search in Planning.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Domain Modeling for Planning as Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

On Similarities Between Workflow Verification and Grammar Checking.

[BibT_eX]

[DOI]

Vladislav Kubon

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

Compiling and Executing PDDL in Picat.

[BibT_eX]

[DOI]

Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015

Planning as tabled logic programming.

[BibT_eX]

[DOI]

Agostino Dovier

Theory Pract. Log. Program., 2015

Yet more planning efficiency: Finite-domain state-variable reformulation.

[BibT_eX]

[DOI]

Filip Dvorak

J. Exp. Theor. Artif. Intell., 2015

The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain.

[BibT_eX]

[DOI]

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2015

No One SATPlan Encoding To Rule Them All.

[BibT_eX]

[DOI]

Tomás Balyo

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

On modeling planning problems in tabled logic programming.

[BibT_eX]

[DOI]

Agostino Dovier

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Short-Term Motion Tracking Using Inexpensive Sensors.

[BibT_eX]

[DOI]

Filip Matzner

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2015

Any Object Tracking and Following by a Flying Drone.

[BibT_eX]

[DOI]

Adam Vykovsky

Proceedings of the Fourteenth Mexican International Conference on Artificial Intelligence, 2015

Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

Camera-Based Localization and Stabilization of a Flying Drone.

[BibT_eX]

[DOI]

Jan Skoda

Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

Searching for Sequential Plans Using Tabled Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

An Introduction to Constraint-Based Temporal Reasoning

[BibT_eX]

[DOI]

Robert A. Morris

Kristen Brent Venable

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01567-0, 2014

Using Tabled Logic Programming to Solve the Petrobras Planning Problem.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

On verification of nested workflows with extra constraints: From theory to practice.

[BibT_eX]

[DOI]

Vladimír Rovenský

Expert Syst. Appl., 2014

A Constraint-Based Planner for Mars Express Orbiter.

[BibT_eX]

[DOI]

Martin Kolombo

Proceedings of the Nature-Inspired Computation and Machine Learning, 2014

Planning and Acting with Temporal and Hierarchical Decomposition Models.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Special Track on Intelligent Autonomous Systems.

[BibT_eX]

[DOI]

David Obdrzálek

Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

On Autonomous Landing of AR.Drone: Hands-On Experience.

[BibT_eX]

[DOI]

Andrej Hrasko

David Obdrzálek

Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

Determining a Proper Initial Configuration of Red-Black Planning by Machine Learning.

[BibT_eX]

[DOI]

Otakar Trunda

Proceedings of the International Workshop on Meta-learning and Algorithm Selection co-located with 21st European Conference on Artificial Intelligence, 2014

On Modeling Formalisms for Automated Planning.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014

Spice It Up! Enriching Open World NPC Simulation Using Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Tenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2014

Planning and Scheduling.

[BibT_eX]

Proceedings of the Computing Handbook, 2014

2013

Preface to special issue on Knowledge Engineering for Planning and Scheduling.

[BibT_eX]

[DOI]

Simone Fratini

Thomas Leo McCluskey

Knowl. Eng. Rev., 2013

Formulating the template ILP consistency problem as a constraint satisfaction problem.

[BibT_eX]

[DOI]

Constraints An Int. J., 2013

Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation.

[BibT_eX]

[DOI]

Filip Dvorak

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains.

[BibT_eX]

[DOI]

Otakar Trunda

Proceedings of the Advances in Soft Computing and Its Applications, 2013

On Modeling Planning Problems: Experience from the Petrobras Challenge.

[BibT_eX]

[DOI]

Proceedings of the Advances in Soft Computing and Its Applications, 2013

Planning and Reactive Agents in Dynamic Game Environments - An Experimental Study.

[BibT_eX]

Proceedings of the ICAART 2013, 2013

Simplifying Verification of Nested Workflows with Extra Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

2012

MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises.

[BibT_eX]

[DOI]

Con Sheahan

Ann Sheahan

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

On Improving Plan Quality via Local Enhancements.

[BibT_eX]

[DOI]

Tomás Balyo

Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Verifying Nested Workflows with Extra Constraints.

[BibT_eX]

[DOI]

Vladimír Rovenský

Proceedings of the Advances in Artificial Intelligence, 2012

Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Shortening Plans by Local Re-planning.

[BibT_eX]

[DOI]

Tomás Balyo

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

On Complexity of Verifying Nested Workflows with Extra Constraints.

[BibT_eX]

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

When Planning Should Be Easy: On Solving Cumulative Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms.

[BibT_eX]

[DOI]

Andrej Chovanec

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

Planning Is the Game: Action Planning as a Design Tool and Game Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

2011

Constraint satisfaction for planning and scheduling problems.

[BibT_eX]

[DOI]

Constraints An Int. J., 2011

On Constraint Models for Parallel Planning: The Novel Transition Scheme.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Scandinavian Conference on Artificial Intelligence, 2011

On Generating Templates for Hypothesis in Inductive Logic Programming.

[BibT_eX]

[DOI]

Andrej Chovanec

Proceedings of the Advances in Artificial Intelligence, 2011

Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement.

[BibT_eX]

[DOI]

Andrej Chovanec

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Towards Routing for Autonomous Robots - Using Constraint Programming in an Anytime Path Planner.

[BibT_eX]

Michal Zerola

Stanislav Slusny

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

A Novel Constraint Model for Parallel Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

2010

Special issue on applications and methodologies for planning and scheduling: editorial.

[BibT_eX]

[DOI]

J. Sched., 2010

New trends in constraint satisfaction, planning, and scheduling: a survey.

[BibT_eX]

[DOI]

Francesca Rossi

Knowl. Eng. Rev., 2010

Preface to special issue on planning and scheduling.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2010

Constraint satisfaction techniques in planning and scheduling.

[BibT_eX]

[DOI]

Francesca Rossi

J. Intell. Manuf., 2010

From enterprise models to scheduling models: bridging the gap.

[BibT_eX]

[DOI]

J. Intell. Manuf., 2010

Solving Sequential Planning Problems via Constraint Satisfaction.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Discovering implied constraints in precedence graphs with alternatives.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2010

Logic programming for combinatorial problems.

[BibT_eX]

[DOI]

Toshinori Munakata

Artif. Intell. Rev., 2010

The Third Competition on Knowledge Engineering for Planning and Scheduling.

[BibT_eX]

[DOI]

Simone Fratini

Lee McCluskey

AI Mag., 2010

Optimizing Alternatives in Precedence Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2010

Integrating Time and Resources into Planning.

[BibT_eX]

[DOI]

Filip Dvorak

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming.

[BibT_eX]

[DOI]

Ondrej Kuzelka

Filip Zelezný

Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

Constraint Models for Reasoning on Unification in Inductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2010

Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem.

[BibT_eX]

[DOI]

Ondrej Kuzelka

Filip Zelezný

Proceedings of the Abstraction, 2010

2009

Constraint Processing.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

Efficient Multi-site Data Movement Using Constraint Programming for Data Hungry Science

[BibT_eX]

[DOI]

CoRR, 2009

Using constraint programming to resolve the multi-source/multi-site data movement paradigm on the Grid

[BibT_eX]

[DOI]

CoRR, 2009

Reformulating Planning Problems by Eliminating Unpromising Actions.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Integrating Constraint Models for Sequential and Partial-Order Planning.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Revisiting Constraint Models for Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

Using Constraint Programming to Plan Efficient Data Movement on the Grid.

[BibT_eX]

[DOI]

Proceedings of the ICTAI 2009, 2009

Efficient multi-site data movement in distributed environment.

[BibT_eX]

[DOI]

Proceedings of the 2009 10th IEEE/ACM International Conference on Grid Computing, 2009

Enhancing Constraint Models for Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Special Track on Artificial Intelligence Planning and Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Constraint Models for Sequential Planning.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Tutorial: constraint-based scheduling.

[BibT_eX]

[DOI]

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

2008

Incremental Filtering Algorithms for Precedence and Dependency Constraints.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2008

Introduction: Special issue on constraint satisfaction techniques for planning and scheduling problems.

[BibT_eX]

[DOI]

Antonio Garrido

Eng. Appl. Artif. Intell., 2008

Rina Dechter , Constraint Processing, Morgan Kaufmann Publisher (2003) ISBN 1-55860-890-7, Francesca Rossi, Peter van Beek and Toby Walsh, Editors, Handbook of Constraint Programming, Elsevier (2006) ISBN 978-0-444-52726-4.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2008

Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008

Nested temporal networks with alternatives: recognition and tractability.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

Reformulating Constraint Models for Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems.

[BibT_eX]

[DOI]

Lee McCluskey

Knowl. Eng. Rev., 2007

Generating Implied Boolean Constraints Via Singleton Consistency.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2007

Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Temporal Networks with Alternatives: Complexity and Model.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Temporal Reasoning in Nested Temporal Networks with Alternatives.

[BibT_eX]

[DOI]

Martin Hejna

Proceedings of the Recent Advances in Constraints, 2007

Modelling Alternatives in Temporal Networks.

[BibT_eX]

[DOI]

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

2006

Private and Efficient Stable Marriages (Matching).

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005).

[BibT_eX]

[DOI]

Michela Milano

Constraints An Int. J., 2006

The First Competition on Knowledge Engineering for Planning and Scheduling.

[BibT_eX]

[DOI]

Lee McCluskey

AI Mag., 2006

Incremental Propagation of Time Windows on Disjunctive Resources.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

A Constraint Model for State Transitions in Disjunctive Resources.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2006

Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

2005

Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities.

[BibT_eX]

[DOI]

Petr Vilím

Constraints An Int. J., 2005

R. Dechter, Constraint Processing, Morgan Kaufmann (2003).

[BibT_eX]

[DOI]

Artif. Intell., 2005

Limited assignments: a new cutoff strategy for incomplete depth-first search.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Desk-Mates (Stable Matching) with Privacy of Preferences, and a New Distributed CSP Framework.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

On Generators of Random Quasigroup Problems.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2005

Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.

[BibT_eX]

[DOI]

Josef Zlomek

Proceedings of the Principles and Practice of Constraint Programming, 2005

Encoding HTN Planning as a Dynamic CSP.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

Automated Search for Heuristic Functions.

[BibT_eX]

[DOI]

Pavel Cejnar

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

The CP-04 Workshop on CSP Techniques with Immediate Application (Conference Report).

[BibT_eX]

[DOI]

IEEE Intell. Informatics Bull., 2004

Effective Modeling with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Minimal Perturbation Problem in Course Timetabling.

[BibT_eX]

[DOI]

Tomás Müller

Proceedings of the Practice and Theory of Automated Timetabling V, 2004

A New Algorithm for Singleton Arc Consistency.

[BibT_eX]

[DOI]

Radek Erben

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

Unary Resource Constraint with Optional Activities.

[BibT_eX]

[DOI]

Petr Vilím

Proceedings of the Principles and Practice of Constraint Programming, 2004

A New Algorithm for Maintaining Arc Consistency After Constraint Retraction.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Dynamic Global Constraints in Backtracking Based Environments.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2003

A New Approach to Modeling and Solving Minimal Perturbation Problems.

[BibT_eX]

[DOI]

Tomás Müller

Proceedings of the Recent Advances in Constraints, 2003

Implementing Propagators for Tabular Constraints.

[BibT_eX]

[DOI]

Roman Mecl

Proceedings of the Recent Advances in Constraints, 2003

2002

Modelling Resource Transitions in Constraint-Based Scheduling.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2002: Theory and Practice of Informatics, 2002

A Theoretical Framework for Constraint Hierarchy Solvers.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Visopt ShopFloor: On the Edge of Planning and Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Visopt ShopFloor: Going Beyond Traditional Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2002

Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times.

[BibT_eX]

[DOI]

Petr Vilím

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001

Dynamic Global Constraints: A First View

[BibT_eX]

[DOI]

CoRR, 2001

Interactive Timetabling

[BibT_eX]

[DOI]

Tomás Müller

CoRR, 2001

2000

Conceptual Models for Combined Planning and Scheduling.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2000

Mixing Planning and Scheduling to Model Complex Process Environments.

[BibT_eX]

Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

1999

Dynamic Constraint Models for Planning and Scheduling Problems.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Contraints, 1999

1997

Extendible meta-interpreters.

[BibT_eX]

[DOI]

Petr Stepánek

Kybernetika, 1997

A Plug-In Architecture of Constraint Hierarchy Solvers.

[BibT_eX]