36,319 Hits in 4.1 sec

Modelling Constraint Solver Architecture Design as a Constraint Problem [article]

Ian P. Gent and Chris Jefferson and Lars Kotthoff and Ian Miguel
2011 arXiv   pre-print
Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components.  ...  We present a system that transforms a description of the components and the characteristics of the target constraint solver into a constraint problem.  ...  Acknowledgements GRASP was designed by Dharini Balasubramaniam and Lakshitha de Silva. Peter Nightingale was involved with the modifications of GRASP.  ... 
arXiv:1110.6290v1 fatcat:fhkic2c4brbgpbvtwghaq3hzvm

Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers

Dharini Balasubramaniam, Lakshitha de Silva, Chris Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2011 2011 Ninth Working IEEE/IFIP Conference on Software Architecture  
We propose a novel, architecture-driven constraint solver generation framework called Dominion to tackle these issues.  ...  However most constraint solvers are designed to be general and monolithic, leading to problems with efficiency, scalability and extensibility.  ...  ACKNOWLEDGMENTS This work is supported by the EPSRC grant "A Constraint Solver Synthesiser" (EP/H004092/1) and SICSA studentships.  ... 
doi:10.1109/wicsa.2011.37 dblp:conf/wicsa/BalasubramaniamSJKMN11 fatcat:p253ypu3rfd4de3kx6lrmg6fgy

An automated approach to generating efficient constraint solvers

Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2012 2012 34th International Conference on Software Engineering (ICSE)  
Current constraint solvers are monolithic in design, accepting a broad range of problems. The cost of this convenience is a complex architecture, inhibiting efficiency, extensibility and scalability.  ...  Combinatorial problems appear in numerous settings, from timetabling to industrial design. Constraint solving aims to find solutions to such problems efficiently and automatically.  ...  ACKNOWLEDGMENT This work is supported by the EPSRC grant 'A Constraint Solver Synthesiser' (EP/H004092/1) and SICSA studentships.  ... 
doi:10.1109/icse.2012.6227151 dblp:conf/icse/BalasubramaniamJKMN12 fatcat:oo6uvb4xyff3lpdhodwc7gsiqy

Design Innovation through Constraint Modeling

Axel Kilian
2006 International Journal of Architectural Computing  
This paper describes how constraint modeling can support design innovation. Furthermore, it lays out how constraints are employed in the construction and exploration of a model's design space.  ...  In conclusion the paper identifi es the addition of bi-directional properties to constraint modeling as the next challenge in improving the application of constraint modeling in design exploration.  ...  Properties are embedded in the behavioral model through the solver architecture. Applying constraints to a problem domain New constraints may also be applied to an existing design domain.  ... 
doi:10.1260/147807706777008993 fatcat:hfic6nnrwzcblbzhfb7bqqk3um

Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints [chapter]

Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou
2011 Lecture Notes in Computer Science  
Our solver was used to automatically synthesize cyber-physical architectural models with hard real-time constraints from a large-scale industrial design.  ...  We present techniques that enable designers to algorithmically synthesize cyber-physical architectural models with real-time constraints.  ...  Conclusions and Future Work We showed how to algorithmically synthesize cyber-physical architectural models by using a meta-architectural specification language that allows designers to specify what constraints  ... 
doi:10.1007/978-3-642-22110-1_35 fatcat:kb4q4o5pgnd65ev5nrvwzxnwme

SysML Modeling for Embedded Systems Design Optimization - A Case Study

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban
2015 Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development  
By re-using the constraints from the SysML model, the problem can be resolved as a Constraint Satisfaction Problem (CSP), using a standard solver.  ...  problem can be seen as a constraint satisfaction problem (CSP).  ... 
doi:10.5220/0005229204490457 dblp:conf/modelsward/LeserfSHC15 fatcat:dpydbrrjorgehhvepwhwmiqxyy

Page 234 of American Society of Civil Engineers. Collected Journals Vol. 126, Issue 4 [page]

2000 American Society of Civil Engineers. Collected Journals  
found Architecture of Constraint-Based Management System The constraint-based management system, CKB-Design/ Draft (Wang 1999), incorporates a knowledge-based constraint solver and a group design method  ...  As an at- tempt to address this problem, Mokhtar et al. presented an information model whose core idea was to build a single re- pository of active building components that were assigned the task of propagating  ... 

Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies

Abderrahmane Aggoun, Ahmed Rhiat, Francois Fages
2016 2016 3rd International Conference on Logistics Operations Management (GOL)  
In this paper, we are interested in one hand to review a set of problems encountered in logistics, and in a second hand to highlight the contribution of Constraint Programming, Metaheuristics and numerical  ...  solvers using non-linear inequalities in solving them.  ...  The solver made it possible to model and solve a problem in the perfume industry where items are complex shapes defined as Bézier curves.  ... 
doi:10.1109/gol.2016.7731693 dblp:conf/gol/AggounRF16 fatcat:ngahnlog5rb2nfzuyfh5gegicm

High-Level Modeling of Component-Based CSPs [chapter]

Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
2010 Lecture Notes in Computer Science  
We illustrate the benefits of this new approach in the modeling process of a difficult embodiment design problem having several architectural alternatives.  ...  To this end, an object-oriented modeling language is associated with a powerful constraint language.  ...  The main problem is that the set of required techniques may not be present in any existing solver, such as consistency techniques for mixed variables, interval methods for continuous problems, various  ... 
doi:10.1007/978-3-642-16138-4_24 fatcat:wcgc6utfefa7jcqocoe5ycve3y

The future of optimization technology

Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
2013 Constraints  
These changes put constraint programming in an ideal position since: constraint programming has the most high-level view of problems to begin with so we can ease modeling difficulties; and since constraint  ...  We foresee a huge demand for both the simplification of use of combinatorial optimization technology (so called "model and run" capabilities), as well as increasing need for the ability to quickly build  ...  NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Center of Excellence  ... 
doi:10.1007/s10601-013-9149-z fatcat:tbj3bxz7ynfdbj7vp3wglohfvm

SMT-based Constraint Answer Set Solver EZSMT+ [article]

Da Shen, Yuliya Lierler
2019 arXiv   pre-print
System EZSMT+ is a constraint answer set programming tool that utilizes satisfiability modulo theory solvers for search.  ...  Constraint answer set programming integrates answer set programming with constraint processing.  ...  and real numbers, as well as nonlinear constraints.  ... 
arXiv:1905.03334v2 fatcat:7grxo5l5yzbljl763rxxfykjme

SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning [article]

Félix Chalumeau
2021 arXiv   pre-print
Support for modeling the learning component is also provided. We illustrate the modeling and solution performance of this new solver on two problems.  ...  Although not yet competitive with industrial solvers, SeaPearl aims to provide a flexible and open-source framework in order to facilitate future research in the hybridization of constraint programming  ...  Mainly inspired by [10] , the architecture is divided into three parts: a constraint programming model, a reinforcement learning environment and a common representation that can be used as a bridge between  ... 
arXiv:2102.09193v2 fatcat:gunjyfdi2jbkjk6enzhn6wq6su

Model-driven constraint programming

Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
2008 Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08  
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calculate the solutions.  ...  A model-driven architecture is introduced to map solving-independent constraint models to solving-dependent decision models.  ...  Introduction In constraint programming (CP), programmers define a model of a problem using constraints over variables.  ... 
doi:10.1145/1389449.1389479 dblp:conf/ppdp/ChenouardGS08 fatcat:d2y53wvegreldnrg2syxjdltqq

Model Based Test Generation for Microprocessor Architecture Validation

Sreekumar Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep Shukla, David Lilja
2007 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07)  
As a first step towards our vision, in this paper, we describe architectural modeling in MMV and automatic generation of random and coverage directed test suites from the models.  ...  We envision a novel metamodeling based microprocessor modeling and validation environment (MMV) to address this problem.  ...  The constraint solver used in our framework is iLog Solver [8] . iLog solver is a commercial solver designed for performance and scalability.  ... 
doi:10.1109/vlsid.2007.108 dblp:conf/vlsid/KodakaraMDSL07 fatcat:idenl7tu7bapxdt7dg76n3osdi

The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models

Ricardo Soto, Laurent Granvilliers
2007 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007)  
This paper presents the first implementation of COMMA, a new solver independent language for modeling constraintbased problems.  ...  In particular, COMMA models can be translated to different solvers, currently to ECLiPSe and Gecode/J.  ...  Zinc [24] is a recent modeling language, its architecture is solver independent and models are translated to the ECLiPSe solver.  ... 
doi:10.1109/ictai.2007.119 dblp:conf/ictai/SotoG07 fatcat:zvzw65qlzjechjycvn7f34zbci
« Previous Showing results 1 — 15 out of 36,319 results