22 Hits in 4.8 sec

Tailoring Solver-Independent Constraint Models: A Case Study with Essence′ and Minion [chapter]

Ian P. Gent, Ian Miguel, Andrea Rendl
Lecture Notes in Computer Science  
This paper discusses this 'tailoring' process with reference to the constraint solver Minion.  ...  However, there is still significant work involved in translating an Essence model for use with a particular constraint solver.  ...  Andrea Rendl is supported by a DOC fFORTE scholarship of the Austrian Academy of Sciences and UK EPSRC grant EP/D030145/1. We thank Chris Jefferson for his advice on Minion.  ... 
doi:10.1007/978-3-540-73580-9_16 dblp:conf/sara/GentMR07 fatcat:gxm7l7k4cfhgdezmsycola4zgq

Automatically improving constraint models in Savile Row

Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen
2017 Artificial Intelligence  
With a SAT solver we observed a geometric mean of 2.15 times speedup compared to a straightforward tailored model without recommended reformulations.  ...  Even an expert human may explore many alternatives in modelling a single problem. We make a number of contributions in the automated modelling and reformulation of constraint models.  ...  In addition, Dr Jefferson is funded by a Royal Society University Research Fellowship.  ... 
doi:10.1016/j.artint.2017.07.001 fatcat:tu565j3nbrc2ragicqu5ozqczq

Qualitative modelling via constraint programming

Thomas W. Kelsey, Lars Kotthoff, Christopher A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2014 Constraints  
Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming.  ...  Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative  ...  LK is supported by EU FP7 grants 284715 (ICON) and  ... 
doi:10.1007/s10601-014-9158-6 fatcat:5j3qjsfdmrdubb4acuaalrqki4

Qualitative Modelling via Constraint Programming: Past, Present and Future [article]

Thomas W. Kelsey, Lars Kotthoff, Christoffer A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2012 arXiv   pre-print
Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming.  ...  Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative  ...  LK is supported by a SICSA studentship and an EPSRC fellowship.  ... 
arXiv:1209.3916v1 fatcat:s7w36cffofesdiga4zaxfwqt4y

Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics [chapter]

Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale
2009 Lecture Notes in Computer Science  
This paper presents, compares and combines a number of different constraint formulations of this problem class, including a new method of representing permutations with constraints.  ...  Using these constraint models, we are able to establish several new results, which are contributing directly to mathematical research in this area. 3  ...  We formulated each model in the solver-independent modelling language ESSENCE and used Tailor v0.3 to flatten each instance for input to the constraint solver Minion 0.8.1.  ... 
doi:10.1007/978-3-642-04244-7_7 fatcat:5vmq2yb475hanpklkcp37ihtmu

Automatically Generating Streamlined Constraint Models with Essence and Conjure [chapter]

James Wetter, Özgür Akgün, Ian Miguel
2015 Lecture Notes in Computer Science  
and Minion.  ...  These conjectures are evaluated independently and in conjunction with one another on a set of instances from the specified class via an automated modelling tool-chain comprising of Conjure, Savile Row  ...  The Essence specification studied here describes a certificate that the given s = S(r)  ... 
doi:10.1007/978-3-319-23219-5_34 fatcat:s3afn7qy7vclhkvhv3qearqfnq

Rewriting Constraint Models with Metamodels [article]

Raphael Chenouard, Ricardo Soto
2010 arXiv   pre-print
This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them.  ...  In this paper, we introduce a pivot metamodel describing the common fea- tures of constraint models including different kinds of con- straints, statements like conditionals and loops, and other first-class  ...  Its solver-independent platform that allows to map Essence models into ECL i PS e and Minion (Gent, Jefferson, and Miguel 2006) .  ... 
arXiv:1002.3023v1 fatcat:tvihtotrmffvxfsa6posx4mmri

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints [chapter]

Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
2019 Lecture Notes in Computer Science  
Pseudo-Boolean (PB) constraints often have a critical role in constraint satisfaction and optimisation problems.  ...  Encoding PB constraints to SAT has proven to be an efficient approach in many applications, however care must be taken to encode them compactly and with good propagation properties.  ...  Preliminaries Essence Prime is typical of solver-independent constraint modelling languages in providing integer and Boolean variable types, as well as multidimensional matrices of these types.  ... 
doi:10.1007/978-3-030-30048-7_2 fatcat:vxndqomfzrbxxdcasnlql7eqnq

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
2019 Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence  
A series of case studies show the performance of Athanor, benchmarked against several local search solvers on a range of problem classes.  ...  This paper presents Athanor, a novel local search solver that operates on abstract constraint specifications of combinatorial problems in the Essence language.  ...  Acknowledgements This works is funded by the EPSRC grants EP/P015638/1 and EP/P026842/1. Christopher Jefferson is supported by a Royal Society University Research Fellowship.  ... 
doi:10.24963/ijcai.2019/148 dblp:conf/ijcai/AttiehDJMN19 fatcat:lgi7p5opk5cnlo35zqm6curxu4

A Delegation-Based Architecture for Collaborative Robotics [chapter]

Patrick Doherty, Fredrik Heintz, David Landén
2011 Lecture Notes in Computer Science  
The system is implemented as a prototype on Unmanned Aerial Vehicle systems and a case study targeting emergency service applications is presented.  ...  The delegation speech act is formally grounded in the implementation using Task Specification Trees, task allocation via auctions and distributed constraint problem solving.  ...  We use the translator Tailor [37] which can compile ESSENCE' problems into either Minion [36] or ECLiPSe [65] . We currently use Minion as the local CSP solver.  ... 
doi:10.1007/978-3-642-22636-6_13 fatcat:ygwstmo3efd35oa7f53luu4vbm

Local Discontinuous Galerkin Methods for the Degasperis-Procesi Equation

Yan Xu, Chi-Wang Shu
2011 Communications in Computational Physics  
The proof of the total variation stability of the schemes for the piecewise constant P0 case is also given.  ...  AbstractIn this paper, we develop, analyze and test local discontinuous Galerkin (LDG) methods for solving the Degasperis-Procesi equation which contains nonlinear high order derivatives, and possibly  ...  It would be interesting to develop a scheme with the flexibility and high order accuracy but tailored specifically to the solution of nonlinear wave problems exhibiting highly localized dynamics.  ... 
doi:10.4208/cicp.2009.09.023 fatcat:jwudzqy6w5e3jcm6bpjjy4shey

A global workspace framework for combined reasoning

John William Charnley, Simon Colton
Numerous studies have demonstrated how a combination of reasoning approaches can improve the effectiveness of one of those methods.  ...  This approach means those systems often suffer from a lack of clarity of design and are inflexible to extension.  ...  The Tailor system [156, 101] automates the translation of high-level problem specifications, in the ESSENCE constraint specification language [93] , into constraints in the format of a particular solver  ... 
doi:10.25560/5591 fatcat:4gbtmevutjerbiwry5atfif7au

Using prototypes in early pervasive game development

Elina M. I. Ollila, Riku Suomela, Jussi Holopainen
2008 Computers in Entertainment  
The aim of this thesis, however, is to have a critical and exploratory look at structures of gameplay as design material.  ...  The main goals of this thesis are to understand in a more profound way how to design games and based on that understanding develop frameworks and methods for aiding game design.  ...  FADTs give designers concepts to use when describing ideas and choices, and different collections of FADTs can be identified and created independent of each other, allowing them to be tailored for specific  ... 
doi:10.1145/1371216.1371220 fatcat:s2dubne72nbe5dl7u3ozedp7ea

Das UIMS THESEUS [chapter]

Matthias Muth, Thomas Neumann
1989 GI — 19. Jahrestagung I  
Thus users service profiles are trialed, with a potential use in mobile electronic commerce.  ...  This architecture includes a mobile application programming interface, Mobile API, that hides the heterogeneity of underlying networks and user equipment as well as the mobility related functions as such.The  ...  This testing will be by means of case studies at 4 different organisations. Based on the experience with the case studies, the method will be refined.  ... 
doi:10.1007/978-3-642-75177-6_15 dblp:conf/gi/MuthN89 fatcat:ompftklj4jafnmlua7v64pzouq

Special Masters in the Pretrial Development of Big Cases: Potential and Problems

Wayne D. Brazil
1982 Law and Social Inquiry  
lawsuits. 9 I also studied the relevant case law and literature.  ...  This vision of litigation assumes that there is a sharp contrast between adjudication and arbitration: the essence of litigation is contest, a headlong pursuit of conquest, whereas the essence of arbitration  ... 
doi:10.1111/j.1747-4469.1982.tb00460.x fatcat:rjrkvpishrgofbndtkxo3mrvaq
« Previous Showing results 1 — 15 out of 22 results