- Constraint Programming: In Pursuit of the Holy Grail Roman Bartk
- COMBINATORICS IN LOGIC PROGRAMMING: IMPLEMENTATIONS
- ERCIM/Compulog Theoretical
- Constructive Programming
- Metainterprets Metainterpret
- Constraint Hierarchy Networks Roman Bartk *
- InterHierarchy Comparison in HCLP 1 Roman Bartk
- PlugIn Architecture of Constraint Hierarchy Solvers 1 Roman Bartk
- ARCHITECTURE Theoretical
- Constructive Negation in CLP(H) Roman Bartk *
- InterHierarchy Theoretical
- Constraint Hierarchies Roman Bartk
- A Generalized Algorithm for Solving Constraint Hierarchies 1
- A Generalized Framework for Constraint Planning 1 Roman Bartk
- MegaInterpreters and Expert Systems Roman Bartk & Petr Stpnek
- Constructive Negation and Constraints Roman Bartk *
- A Generalized Framework Solving Constraint Hierarchies
- Extendible MetaInterpreters Roman Bartk & Petr Stpnek
- CHARLES UNIVERSITY FACULTY OF MATHEMATICS AND PHYSICS
- Temporal Reasoning in Nested Temporal Networks with Alternatives
- Dynamic Constraint Models for Planning and Scheduling Problems
- Implementing Propagators for Tabular Constraints Roman Bartk, Roman Mecl
- Desk-mates (Stable Matching) with Privacy of Preferences, and a new Distributed CSP Framework
- A Constraint Model for State Transitions in Disjunctive Resources
- A Constraint Model for State Transitions in Disjunctive Resources
- Constraint Programming What is behind? Roman Bartk
- Reformulating Constraint Models for Classical Planning Roman Bartk, Daniel Toropila
- Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach
- Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies
- Dynamic Constraint Models for Complex Production Environments
- Temporal Networks with Alternatives: Complexity and Model Roman Bartk*, Ondej Cepek*
- Filtering Algorithms for Tabular Constraints Roman Bartk*
- Implementing Propagators for Tabular Constraints Roman Bartk, Roman Mecl
- COMBINATORICS IN LOGIC PROGRAMMING: IMPLEMENTATIONS
- A New Algorithm for Singleton Arc Consistency Roman Bartk, Radek Erben
- A Constraint Model for State Transitions in Disjunctive Resources Roman Bartk*, Ondej Cepek*
- PLANET Technology Information Day Prague (Czech Republic), May 26, 2003
- Generating Implied Boolean Constraints via Singleton Consistency
- Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times Petr Vilim and Roman Bartak
- Minimal Perturbation Problem A Formal View* Roman Bartk1
- Minimal Perturbation Problem A Formal View* Roman Bartk1
- Visopt ShopFloor: On the edge of planning and scheduling
- Interactive Timetabling: Concepts, Techniques, and Practical Results
- Incremental Propagation Rules for Precedence Graph with Optional Activities and Time Windows
- From Enterprise Models to Scheduling Models: Bridging the Gap
- Constraint Models for Complex State Transitions Roman Bartk
- Incremental Filtering Algorithms for Precedence and Dependency Constraints Roman Bartk, Ondej Cepek
- INCREMENTAL PROPAGATION RULES FOR A PRECEDENCE GRAPH WITH OPTIONAL ACTIVITIES AND TIME WINDOWS
- Private and Efficient Stable Marriages (Matching)1 DisCSP Benchmark
- Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search
- A New Approach to Modeling and Solving Minimal Perturbation Problems
- Validating Plans with Durative Actions via Integrating Boolean and Numerical Constraints
- Double Precedence Graphs Roman Bartk*, Ondej Cepek*
- Visopt ShopFloor: Going Beyond Traditional Scheduling
- PRACTICAL CONSTRAINTS: A TUTORIAL ON MODELLING WITH CONSTRAINTS
- Constraint-Based Scheduling: An Introduction for Newcomers
- Incremental Filtering Algorithms for Precedence and Dependency Constraints
- Mixing Planning and Scheduling to Model Complex Process Environments
- Filtering Algorithm Sequence Composition for Batch Processing with Sequence Dependent Setup
- On the Boundary of Planning and Scheduling: A Study Roman Bartk*
- Abstract--Temporal Networks play an important role in solving planning problems and they are also used, though not as
- INTEGRATING PLANNING INTO PRODUCTION SCHEDULING
- A New Labeling Algorithm to Solve Minimal Perturbation Problems: A Preliminary Report
- A Flexible Constraint Model for Validating Plans with Durative Actions
- Visopt ShopFloor: On the edge of planning and scheduling
- A Slot Representation of the Resource-Centric Models for Scheduling Problems
- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
- An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems
- A Flexible Constraint Model for Validating Plans with Durative Actions
- Visopt ShopFloor System: Integrating Planning into Production Scheduling
- Constraint Programming: In Pursuit of the Holy Grail Roman Bartk
- On Generators of Random Quasigroup Problems Roman Bartk*
- A Theoretical Framework for Constraint Hierarchy Solvers
- Incremental Propagation of Time Windows on Disjunctive Resources Roman Bartk
- Modelling Planning and Scheduling Problems with Time and Resources* ROMAN BARTK
- On Generators of Random Quasigroup Problems Roman Bartk
- Singleton Arc Consistency Revised Roman Bartk, Radek Erben
- Extended version of the paper to be presented at PACLP2000, Manchester, UK Mixing Planning and Scheduling
- Propagating Deletions in Tabular Constraints Roman Bartk*
- 26 September 1999 Conceptual Models
- Dynamic Global Constraints in Backtracking Based Environments
- On Generators of Random Quasigroup Problems Roman Bartk*
- INCOMPLETE DEPTH-FIRST SEARCH TECHNIQUES: A SHORT SURVEY
- A New Algorithm for Maintaining Arc Consistency after Constraint Retraction
- Modelling Resource Transitions in Constraint-Based Scheduling
- Real-life Manufacturing Problems: A Challenge Roman Bartk*
- Nested Temporal Networks with Alternatives Roman Bartk*, Ondej Cepek*
- Modelling Soft Constraints: A Survey Roman Bartk*
- Towards Mixed Planning and Scheduling Roman Bartk1
- VisOpt JobShop The Solver Behind 1 of 3 11.6.1999 Intelligent Solutions Roman Bartk
- Effective Modeling with Constraints Roman Bartk
- CONSTRAINT-BASED SCHEDULING: AN INTRODUCTION FOR NEWCOMERS Roman Bartk
- Integrating Planning into Production Scheduling: A Formal View Roman Bartk
- Integrated Modelling for Planning, Scheduling, and Timetabling Problems*
