|
This
group evolved into Constraint Satisfaction & Optimisation Research
Group. Visit us HERE.
|
| Papers |
CLP Research Group |
|
Last update Monday, December 4, 2000
A list of papers writen by group members. Most of the papers are available on-line as PDF files. You can download for free the latest version of Acrobat Reader to read PDF from Adobe Systems web site.
Extendible Meta-Interpreters
Barták, R. and Stepánek, P., in: KYBERNETIKA, Volume 33 (1997), Number 3, pp. 291-310
[PDF (46 k)]
Constraint Programming: A Survey of Solving Technology
Barták, R., in AIRONews journal, IV, n. 4 - Winter '99, pp. 7-11, Italy, 1999Programovani s omezujícimi podminkami - na ceste ke svatemu gralu (in Czech)
Barták, R., in Pokroky matematiky, fyziky a astronomie, rocnik 45 (2000), cislo 3, strana 218-231
Slot Models for Schedulers Enhanced by Planning Capabilities
Barták, R., in Proceedings of the Nineteenth Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), Milton Keynes, UK, December 2000
A General Relation Constraint: An Implementation
Barták, R., in Proceedings of CP2000 Post-Conference Workshop TRICS, Singapore, September 2000Towards Mixed Planning and Scheduling
Barták, R., in Proceedings of CPDC2000 Workshop (invited talk), Gliwice, June 2000 (to appear)
[PDF (100 k)]A Slot Representation of the Resource-Centric Models for Scheduling Problems
Barták, R., in Proceedings of ERCIM Working Group on Constraints/CompulogNet Area on "Constraint Programming" Workshop, Padova, June 2000
[PDF (43 k)]Dynamic Constraint Models for Planning and Scheduling Problems
Barták, R., in "New Trends in Constraints'' (Papers from the Joint ERCIM/Compulog-Net Workshop, Cyprus, October 25-27, 1999), LNAI 1865, Springer Verlag, 2000
[PDF (182 k)]Mixing Planning and Scheduling to Model Complex Process Environments
Barták, R., in Proceedings of PACLP 2000, pp. 329-332, Manchester, UK, 2000
[PDF (47 k)]On the Boundary of Planning and Scheduling: A Study
Barták, R., in Proceedings of Eighteenth Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG99) Workshop, pp. 28-39, Manchester, UK, 1999
[PDF (170 k)]
Dynamic Constraint Models for Complex Production Environments
Barták, R., in: Proceedings of ERCIM Working Group on
Constraints/CompulogNet Area on "Constraint Programming" Workshop, Paphos, Cyprus, 1999
[PDF (203 k)]
Conceptual Models for Combined Planning and Scheduling
Barták, R., in: Proceedings of CP99 Workshop on Large
Scale Combinatorial Optimisation and Constraints, pp. 2-14, Alexandria, VA, USA, 1999
also in Electronic Notes
in Discrete Mathematics, Volume 4, Elsevier, 1999
[PDF (193 k)]
Constraint Programming: What is Behind?
Barták, R., in: Proceedings of CPDC99, Gliwice, June 1999
[PDF (58 k)]
Constraint Programming: In Pursuit of the Holy Grail
Barták, R., in: Proceedings of WDS99, Prague, June 1999
[PDF (147 k)]
Constraint Hierarchy Networks
Barták, R., in: Proceedings of 3rd ERCIM/CompulogNet Workshop
on Constraints, Amsterdam, September 1998
Inter-Hierarchy Comparison in HCLP
Barták, R., in: Proceedings of PAP/PACT '98, pp. 461-474,
London, March 1998
[PDF (68 k)]
A Plug-in Architecture of Constraint Hierarchy Solvers
Barták, R., in: Proceedings of PACT '97, pp. 359-371,
London, April 1997
[PDF (47 k)]
Mega-Interpreters and Expert Systems
Barták, R. and Stepánek, P., presented as poster
at PAP '96, London, April 1996
[PDF (48 k)]
Anatomy of a Prolog Compiler
Svoboda, T., Doctoral Dissertation, Charles University, Prague,
1998
Implementation of a Compiler of Prolog to the code of the Warren Abstract
Machine
Hellrieger, Z., Doctoral Dissertation, Charles University, Prague,
1997
Relational Objects: Augmenting Object-Oriented Paradigm with Declarative
Aspects
Vana, P., Doctoral Dissertation, Charles University, Prague,
1997
Expert Systems Based on Constraints
(in Czech)
Barták, R., Doctoral Dissertation, Charles University, Prague, April 1997
full text in Czech [PDF (480 k)], English Abstract [PDF
(99 k)]
Mixing Planning and Scheduling to Model Complex Process Environments
Barták, R., Technical report, extended version of the paper to be presented at PACLP 2000
[PDF (302 k)]
VisOpt JobShop - The Solver Behind the User Interaction
Barták, R., White Paper, InSol Ltd.
[PDF (20 k)]
Constructive Negation in CLP(H)
Barták, R., Tech. Report No 98/6, Department of Theoretical
Computer Science, Charles University, Prague, July 1998
[PDF (53 k)]
Relational Objects
Vana, P., Tech. Report No 98/2, Department of Theoretical Computer
Science, Charles University, Prague, April 1998
Anatomy of a Prolog Compiler
Svoboda, T., Tech. Report No 98/1, Department of Theoretical
Computer Science, Charles University, Prague, February 1998
A Generalized Framework for Constraint Planning
Barták, R., Tech. Report No 97/9, Department of Theoretical
Computer Science, Charles University, Prague, June1997
[PDF (182 k)]
A Generalized Algorithm for Solving Constraint Hierarchies
Barták, R., Tech. Report No 97/1, Department of Theoretical
Computer Science, Charles University, Prague, January 1997
[PDF (77 k)]
A Plug-in Architecture of Constraint Hierarchy Solvers
Barták, R., Tech. Report No 96/8, Department of Theoretical
Computer Science, Charles University, Prague, December 1996
Meta-Interpreters and Expert Systems
Barták, R. and Stepánek, P., Tech. Report No 115,
Department of Theoretical Computer Science, Charles University, Prague, October 1995
[PDF (126 k)]
Slot Models for Schedulers Enhanced by Planning Capabilities
Barták, R., 2000
[PDF (76 k)]Constructive Negation and Constraints
Barták, R., Extended Abstract, 1998
[PDF (31 k)]
Binarization of Logic Programs
Hruza, J., Stepanek, P., presented at the University of Pisa,
Italy (April 1998) and at the University of Passau, Germany (July 1998)
|
Designed and maintained by Roman Barták, © 1999 |
http://kti.mff.cuni.cz/~bartak/clp/ |