| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roman Barták, Con Sheahan, Ann Sheahan |
MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises.  |
SOFSEM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
On Complexity of Verifying Nested Workflows with Extra Constraints. |
ICAART |
2012 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Miguel A. Salido |
Constraint satisfaction for planning and scheduling problems. |
Constraints |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Chovanec, Roman Barták |
On Generating Templates for Hypothesis in Inductive Logic Programming. |
MICAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
On Constraint Models for Parallel Planning: The Novel Transition Scheme. |
SCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Chovanec, Roman Barták |
Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
A Novel Constraint Model for Parallel Planning. |
FLAIRS Conference |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Michal Zerola, Stanislav Slusny |
Towards Routing for Autonomous Robots - Using Constraint Programming in an Anytime Path Planner. |
ICAART |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Amedeo Cesta, Lee McCluskey, Miguel A. Salido |
Preface to special issue on planning and scheduling. |
Knowledge Eng. Review |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Miguel A. Salido, Francesca Rossi |
New trends in constraint satisfaction, planning, and scheduling: a survey. |
Knowledge Eng. Review |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Hana Rudová |
Special issue on applications and methodologies for planning and scheduling: editorial. |
J. Scheduling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Daniel Toropila |
Solving Sequential Planning Problems via Constraint Satisfaction. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek, Pavel Surynek |
Discovering implied constraints in precedence graphs with alternatives. |
Annals OR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Simone Fratini, Lee McCluskey |
The Third Competition on Knowledge Engineering for Planning and Scheduling. |
AI Magazine |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toshinori Munakata, Roman Barták |
Logic programming for combinatorial problems. |
Artif. Intell. Rev. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Optimizing Alternatives in Precedence Networks. |
MICAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Dvorak, Roman Barták |
Integrating Time and Resources into Planning. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Kuzelka, Filip Zelezný |
Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming. |
FLAIRS Conference |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Kuzelka, Filip Zelezný |
Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem. |
Abstraction, Reformulation, and Approximation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták |
Constraint Models for Reasoning on Unification in Inductive Logic Programming. |
AIMSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Zerola, Jérôme Lauret, Roman Barták, Michal Sumbera |
Efficient Multi-site Data Movement Using Constraint Programming for Data Hungry Science |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michal Zerola, Jérôme Lauret, Roman Barták, Michal Sumbera |
Using constraint programming to resolve the multi-source/multi-site data movement paradigm on the Grid |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták |
Constraint Processing. |
Encyclopedia of Artificial Intelligence |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Daniel Toropila |
Revisiting Constraint Models for Planning Problems. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
Planning, lifting, symmetry breaking, constraint models |
| 1 | Lukás Chrpa, Roman Barták |
Reformulating Planning Problems by Eliminating Unpromising Actions. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Daniel Toropila |
Integrating Constraint Models for Sequential and Partial-Order Planning. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Daniel Toropila |
Constraint Models for Sequential Planning. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Zerola, Michal Sumbera, Roman Barták, Jérôme Lauret |
Using Constraint Programming to Plan Efficient Data Movement on the Grid. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Special Track on Artificial Intelligence Planning and Scheduling. |
FLAIRS Conference |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Daniel Toropila |
Enhancing Constraint Models for Planning Problems. |
FLAIRS Conference |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michal Zerola, Michal Sumbera, Jérôme Lauret, Roman Barták |
Efficient multi-site data movement in distributed environment. |
GRID |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
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. |
Computer Science Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel A. Salido, Antonio Garrido, Roman Barták |
Introduction: Special issue on constraint satisfaction techniques for planning and scheduling problems. |
Eng. Appl. of AI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek |
Incremental Filtering Algorithms for Precedence and Dependency Constraints. |
International Journal on Artificial Intelligence Tools |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek |
Nested temporal networks with alternatives: recognition and tractability. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
temporal networks, complexity, constraints, alternatives |
| 1 | Lukás Chrpa, Roman Barták |
Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies. |
SCAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lukás Chrpa, Roman Barták |
Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies. |
FLAIRS Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Daniel Toropila |
Reformulating Constraint Models for Classical Planning. |
FLAIRS Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek |
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models. |
AIMSA |
2008 |
DBLP DOI BibTeX RDF |
temporal networks, complexity, alternatives, constraint models |
| 1 | Roman Barták, Lee McCluskey |
Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems. |
Knowledge Eng. Review |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Generating Implied Boolean Constraints Via Singleton Consistency. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
implied constraints, singleton consistency, SAT, reformulation |
| 1 | Roman Barták, Ondrej Cepek, Martin Hejna |
Temporal Reasoning in Nested Temporal Networks with Alternatives. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Surynek, Roman Barták |
Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search. |
FLAIRS Conference |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek |
Temporal Networks with Alternatives: Complexity and Model. |
FLAIRS Conference |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Michela Milano |
Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005). |
Constraints |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Atkinson, Roman Barták, Marius-Calin Silaghi, E. Tuleu, Markus Zanker |
Private and Efficient Stable Marriages (Matching). |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Lee McCluskey |
The First Competition on Knowledge Engineering for Planning and Scheduling. |
AI Magazine |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek |
Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Ondrej Cepek |
A Constraint Model for State Transitions in Disjunctive Resources. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
domain filtering, disjunctive resource, constraint, state transition |
| 1 | Roman Barták, Ondrej Cepek |
Incremental Filtering Algorithms for Precedence and Dependency Constraints. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Incremental Propagation of Time Windows on Disjunctive Resources. |
FLAIRS Conference |
2006 |
DBLP BibTeX RDF |
|
| 1 | Petr Vilím, Roman Barták, Ondrej Cepek |
Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities. |
Constraints |
2005 |
DBLP DOI BibTeX RDF |
unary resource, scheduling, global constraints, alternatives |
| 1 | Roman Barták |
R. Dechter, Constraint Processing, Morgan Kaufmann (2003). |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Hana Rudová |
Limited assignments: a new cutoff strategy for incomplete depth-first search. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
search, constraint satisfaction |
| 1 | Roman Barták |
On Generators of Random Quasigroup Problems. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Michela Milano (eds.) |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings |
CPAIOR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marius-Calin Silaghi, Amit Abhyankar, Markus Zanker, Roman Barták |
Desk-Mates (Stable Matching) with Privacy of Preferences, and a New Distributed CSP Framework. |
FLAIRS Conference |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Pavel Surynek |
An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems. |
FLAIRS Conference |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pavel Cejnar, Roman Barták |
Automated Search for Heuristic Functions. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Zlomek, Roman Barták |
Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Surynek, Roman Barták |
Encoding HTN Planning as a Dynamic CSP. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
The CP-04 Workshop on CSP Techniques with Immediate Application (Conference Report). |
IEEE Intelligent Informatics Bulletin |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Radek Erben |
A New Algorithm for Singleton Arc Consistency. |
FLAIRS Conference |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tomás Müller, Hana Rudová, Roman Barták |
Minimal Perturbation Problem in Course Timetabling. |
PATAT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Surynek, Roman Barták |
A New Algorithm for Maintaining Arc Consistency After Constraint Retraction. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Vilím, Roman Barták, Ondrej Cepek |
Unary Resource Constraint with Optional Activities. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Effective Modeling with Constraints. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Dynamic Global Constraints in Backtracking Based Environments. |
Annals OR |
2003 |
DBLP DOI BibTeX RDF |
dynamic models, global constraints, filtering algorithm |
| 1 | Roman Barták, Tomás Müller, Hana Rudová |
A New Approach to Modeling and Solving Minimal Perturbation Problems. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták, Roman Mecl |
Implementing Propagators for Tabular Constraints. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
A Theoretical Framework for Constraint Hierarchy Solvers. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Petr Vilím, Roman Barták |
Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times. |
AIPS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták |
Visopt ShopFloor: Going Beyond Traditional Scheduling. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Modelling Resource Transitions in Constraint-Based Scheduling. |
SOFSEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Visopt ShopFloor: On the Edge of Planning and Scheduling. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Tomás Müller, Roman Barták |
Interactive Timetabling |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Roman Barták, Eric Monfroy, Francesca Rossi, Sebastian Brand (eds.) |
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták |
Dynamic Global Constraints: A First View |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták |
Conceptual Models for Combined Planning and Scheduling. |
Electronic Notes in Discrete Mathematics |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Barták |
Dynamic Constraint Models for Planning and Scheduling Problems. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")