- Matrix Modelling: Exploiting Common Patterns in Constraint Programming
- Breaking Symmetries in Matrix Models: A Brief Overview Pierre Flener 1 , Alan M.Frisch 2 , Brahim Hnich 3 , Chris Je erson 2
- Correctschemaguided Synthesis of Steadfast Programs Pierre Flener
- J. Symbolic Computation (1999) 11, 1{35 An Abstract Formalisation of Correct Schemas
- Solving Necklace Constraint Problems Pierre Flener and Justin Pearson 1
- Compositional Derivation of Symmetries for Constraint Satisfaction
- Tractable Symmetry Breaking for CSPs with Interchangeable Values P. Van Hentenryck
- The tree Constraint Nicolas Beldiceanu1
- Local Search over Relational Databases Toni Mancini1
- Set Variables and Local Search Magnus Agren, Pierre Flener, and Justin Pearson
- Static and Dynamic Structural Symmetry Breaking Pierre Flener1
- CALL FOR PAPERS LOPSTR'98
- Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects
- Air-Traffic Complexity Resolution in Multi-Sector Planning Using Constraint Programming
- Incremental Algorithms for Local Search from Existential Second-Order Logic
- Efficient Structural Symmetry Breaking for Constraint Satisfaction Problems
- Inferring Variable Conflicts for Local Search Magnus Agren, Pierre Flener, and Justin Pearson
- UPTEC IT05 037 Examensarbete 20 p
- Actes JFPC 2006 Partitionnement de graphes par des arbres
- Breaking Row and Column Symmetries in Matrix Models
- A New Declarative Bias for ILP: Construction Modes
- Breaking Row and Column Symmetry in Matrix Models
- Inductive Programming Pierre Flener
- Achievements and Prospects of Program Synthesis
- domainspecific application.We
- Inductive Logic Program Synthesis with dialogs
- Logic Program Transformation through Generalization Schemata [Extended Abstract]
- Towards Relational Modelling of Combinatorial Optimisation Problems
- Towards Inferring Labelling Heuristics for CSP Application Domains
- SchemaGuided Synthesis of CLP Programs ? Hamza Zidoum 1 , Pierre Flener 2 , and Brahim Hnich 3
- Writing A Compiler for the Finite Domain CSP Modeling Language esra
- ILP and Automatic Programming: Towards Three Approaches
- Conclusions (constraint)
- Introducing esra, a Relational Language for Modelling Combinatorial Problems
- Specifications Are Necessarily Informal or: Some More Myths of Formal Methods \Lambda
- Synthesis of Composition and Discrimination Operators for
- Uppsala Master's Thesis in Computing Science 223
- Predicate Invention in Inductive Program Synthesis Pierre Flener
- On the Desirable Link Between Theory and Practice in Abstract Interpretation
- A MetaHeuristic for Subset Problems Pierre Flener, Brahim Hnich, and Zeynep Kiziltan
- A MetaHeuristic for Subset Decision Problems Brahim Hnich, Zeynep Kiziltan, and Pierre Flener
- SchemaGuided Synthesis of Constraint Logic Programs Pierre Flener
- CALL FOR PAPERS 8th International Workshop on Logicbased Program Synthesis and Transformation
- Generalisation: SchemaGuided
- Completing Open Logic Programs by Constructive Induction Department of Computer Sciences
- Correctness Proofs of Transformation Schemas Halime Buyukyildiz and Pierre Flener
- Introduction Generation?
- Towards SchemaGuided Compilation of Set Constraint Programs Pierre Flener, Brahim Hnich, and Zeynep Kzltan
- Financial Portfolio Optimisation Pierre Flener 1 , Justin Pearson 1 , and Luis G. Reyna 2
- On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
- 5.2 Componentbased Development ASE'99Tutorial --5.2.0
- Information pierref@csd.uu.se
- HighLevel Reformulation of Constraint Programs
- J. Symbolic Computation (1993) 15, 775--805 0747--7171/93/5--6775 + 31 $08.00/0 1993 Academic Press Limited
- Towards Stepwise, SchemaGuided Synthesis of Logic Programs
- 2. Our Definition of Correct Schemas ASE'99Tutorial --2.0
- On Correct Program Schemas Pierre Flener, 1 KungKiu Lau 2 and Mario Ornaghi 3
- SchemaGuided Conditional
- Compiling HighLevel Type Constructors in Constraint Programming
- Logic Program Transformation through Generalization Schemata
- Generalised Logic Program Transformation Schemas
- A Unified View of Programming Schemas and Proof Methods Pierre Flener
- [1] A. Armando, A. Smaill, and I.M. Green (1999). Automatic synthesis of recursive programs: The proofplanning paradigm. J. Soft ware Engineering 6(4), 329--356.
- Program Synthesis for Combinatorial Optimisation Problems Position Statement
- Contingency Plans for Air Traffic Management Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson
