Search results for "constraint-handling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Thom W. Frühwirth	Welcome to Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
72	Armin Wolf, Jacques Robin, Jairson Vitorino	Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
71	Henning Christiansen 0001	Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
66	Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella	A Compositional Semantics for CHR with Propagation Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
63	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard Reasoning in the Refined Operational Semantics of CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
57	Ingi Sobhi, Slim Abdennadher, Hariolf Betz	Constructing Rule-Based Solvers for Intentionally-Defined Constraints.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
57	Leslie De Koninck, Tom Schrijvers, Bart Demoen	A Flexible Search Framework for CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
57	Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen	CHR for Imperative Host Languages.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
52	Armin Wolf	Projection in Adaptive Constraint Handling.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
45	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	Extending arbitrary solvers with constraint handling rules.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, constraint solvers, constraint handling rules
44	Ken Harada, Jun Sakuma, Isao Ono, Shigenobu Kobayashi	Constraint-Handling Method for Multi-objective Function Optimization: Pareto Descent Repair Operator.	EMO	2007	DBLP DOI BibTeX RDF
40	Jon Sneyers, Tom Schrijvers, Bart Demoen	The computational power and complexity of constraint handling rules.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	constant factors, complexity, Constraint Handling Rules
40	Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck	Abstract interpretation for constraint handling rules.	PPDP	2005	DBLP DOI BibTeX RDF	abstract interpretation, constraint handling rules
38	Sima Uyar, Gülsen Eryigit	Improvements to penalty-based evolutionary algorithms for the multi-dimensional knapsack problem using a gene-based adaptive mutation approach.	GECCO	2005	DBLP DOI BibTeX RDF	multi-dimensional knapsack problem, penalty-based constraint handling, genetic algorithms, adaptive mutation
38	Armin Wolf	Adaptive Constraint Handling with CHR in Java.	CP	2001	DBLP DOI BibTeX RDF
36	Hanna Eberle, Stefan Föll, Klaus Herrmann 0001, Frank Leymann, Annapaola Marconi, Tobias Unger, Hannes Wolf	Enforcement from the Inside: Improving Quality of Business in Process Management.	ICWS	2009	DBLP DOI BibTeX RDF
35	Oliver Kramer 0001, Hans-Paul Schwefel	On three new approaches to handle constraints within evolution strategies.	Nat. Comput.	2006	DBLP DOI BibTeX RDF	constraint-handling methods, fitness stagnation, minimum step size, sexual selection, metaevolution, evolutionary algorithms, evolution strategies, nonlinear optimization problem
34	Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth	Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.	SAC	2007	DBLP DOI BibTeX RDF	CHR (Constraint Handling Rules), first-order constraints solving, theory of finite or infinite trees, Prolog, unification
34	Yuping Wang, Yong-Chang Jiao, Hong Li 0007	An evolutionary algorithm for solving nonlinear bilevel programming based on a new constraint-handling scheme.	IEEE Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
33	Zack Z. Zhu	Constraint handling with modified hypervolume indicator for multi-objective optimization problems.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	multi-objective evolutionary computation, constraint handling
33	Carlos Artemio Coello Coello	Constraint-handling techniques used with evolutionary algorithms.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	optimization, evolutionary algorithms, constraint-handling
33	Ana Maria A. C. Rocha, Edite M. G. P. Fernandes	Implementation of the Electromagnetism-Like Algorithm with a Constraint-Handling Technique for Engineering Optimization Problems.	HIS	2008	DBLP DOI BibTeX RDF	electromagnetism-like algorithm, descent local search, engineering design problems, Global optimization, constraint-handling
33	Carlos A. Coello Coello	Constraint-handling techniques used with evolutionary algorithms.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	optimization, evolutionary algorithms, constraint-handling
33	Dae Gyu Kim	Riemann mapping based constraint handling for evolutionary search.	SAC	1998	DBLP DOI BibTeX RDF	Riemann mapping, optimization, constraint handling, evolutionary search
33	Bernd Meyer 0001	Constraint handling and stochastic ranking in ACO.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
32	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCoS	2002	DBLP DOI BibTeX RDF
32	Efrén Mezura-Montes, Jesús Velázquez-Reyes, Carlos A. Coello Coello	Promising infeasibility and multiple offspring incorporated to differential evolution for constrained optimization.	GECCO	2005	DBLP DOI BibTeX RDF	global optimization, differential evolution, constraint-handling
32	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
30	Yonas G. Woldesenbet, Biruk G. Tessema, Gary G. Yen	Constraint handling in multi-objective evolutionary optimization.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
30	Raphaël Dorne, Jin-Kao Hao	Constraint Handling in Evolutionary Search: A Case Study of the Frequency Assignment.	PPSN	1996	DBLP DOI BibTeX RDF
29	Tom Schrijvers, David Scott Warren	Constraint Handling Rules and Tabled Execution.	ICLP	2004	DBLP DOI BibTeX RDF
29	Slim Abdennadher, Thom W. Frühwirth	On Completion of Constraint Handling Rules.	CP	1998	DBLP DOI BibTeX RDF
29	Haiyan Lu, Weiqi Chen	Self-adaptive velocity particle swarm optimization for solving constrained optimization problems.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Constraint-handling mechanism, Evolutionary algorithms, Particle swarm optimization, Constrained optimization, Nonlinear programming, Stochastic optimization
28	Leslie De Koninck, Tom Schrijvers, Bart Demoen	User-definable rule priorities for CHR.	PPDP	2007	DBLP DOI BibTeX RDF	rule priorities, constraint handling rules, execution control
28	Pei Yee Ho, Kazuyuki Shimizu	Simple addition of ranking method for constrained optimization in evolutionary algorithms.	GECCO	2005	DBLP DOI BibTeX RDF	simple ranking, single objective optimization, evolutionary algorithms, constraint handling
27	Mohammed R. AlRashidi, Mohamed E. El-Hawary	Emission-Economic Dispatch using a Novel Constraint Handling Particle Swarm Optimization Strategy.	CCECE	2006	DBLP DOI BibTeX RDF
27	Arturo Hernández Aguirre, Salvador Botello Rionda, Giovanni Lizárraga Lizárraga, Carlos A. Coello Coello	IS-PAES: A Constraint-Handling Technique Based on Multiobjective Optimization Concepts.	EMO	2003	DBLP DOI BibTeX RDF
27	Liviu Badea, Doina Tilivea	Intelligent Information Integration as a Constraint Handling Problem.	FQAS	2002	DBLP DOI BibTeX RDF
27	Dae Gyu Kim, Phil Husbands	Landscape Changes and the Performance of Mapping Based Constraint Handling Methods.	PPSN	1998	DBLP DOI BibTeX RDF
26	Beata Sarna-Starosta, C. R. Ramakrishnan 0001	Compiling Constraint Handling Rules for Efficient Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
26	Thom W. Frühwirth	Constraint handling rules: the story so far.	PPDP	2006	DBLP DOI BibTeX RDF	concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming
26	Tom Schrijvers	Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.	ICLP	2005	DBLP DOI BibTeX RDF
26	Henning Christiansen 0001	Logical Grammars Based on Constraint Handling Rules.	ICLP	2002	DBLP DOI BibTeX RDF
26	Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey	Optimizing Compilation of Constraint Handling Rules.	ICLP	2001	DBLP DOI BibTeX RDF
26	Gerhard Wetzel, Francesca Toni	Semantic Query Optimization through Abduction and Constraint Handling.	FQAS	1998	DBLP DOI BibTeX RDF
26	Guillermo Leguizamón, Carlos A. Coello Coello	Boundary Search for Constrained Numerical Optimization Problems in ACO Algorithms.	ANTS Workshop	2006	DBLP DOI BibTeX RDF
25	Yu Wu, Yuanxiang Li, Xing Xu	A Novel Component-Based Model and Ranking Strategy in Constrained Evolutionary Optimization.	ADMA	2009	DBLP DOI BibTeX RDF	rank strategy, evolutionary algorithm, constraint handling, component-based model
25	Minghai Jiao, Jiafu Tang	A Novel Particle Swarm Optimization for Constrained Engineering Optimization Problems.	ISICA	2008	DBLP DOI BibTeX RDF	Local PSO, Swarm intelligence, Constraint handling
25	Hecheng Li, Yuping Wang 0003	A Genetic Algorithm for Solving a Special Class of Nonlinear Bilevel Programming Problems.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Bilevel programming problems, linear programming problem, genetic algorithm, constraint handling, optimal solutions
25	Haiyan Lu, Weiqi Chen	Dynamic-objective particle swarm optimization for constrained optimization problems.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF	Evolutionary computation, Particle swarm optimization, Constrained optimization, Constraint-handling
25	Saku Kukkonen, Jouni Lampinen	An Extension of Generalized Differential Evolution for Multi-objective Optimization with Constraints.	PPSN	2004	DBLP DOI BibTeX RDF	evolutionary algorithms, multi-objective optimization, differential evolution, Pareto-optimization, constraint handling
25	Paul W. P. J. Grefen, Jan Flokstra	Parallel Handling of Integrity Constraints.	PRISMA Workshop	1990	DBLP DOI BibTeX RDF
24	Praveen Kumar Tripathi, Sanghamitra Bandyopadhyay, Sankar K. Pal	A Multi-objective Genetic Algorithm with Relative Distance: Method, Performance Measures and Constraint Handling.	ICCTA	2007	DBLP DOI BibTeX RDF
24	Arturo Hernández Aguirre, Enrique Raúl Villa Diharce, Carlos A. Coello Coello	Constraint handling techniques for a non-parametric real-valued estimation distribution algorithm.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
24	George Bilchev, Ian C. Parmee	Constraint Handling for the Fault Coverage Code Generation Problem: An Inductive Evolutionary Approach.	PPSN	1996	DBLP DOI BibTeX RDF
23	Félix Calderón, Claudio R. Fuerte-Esquivel, Juan J. Flores, Juan C. Silva	A Constraint-Handling Genetic Algorithm to Power Economic Dispatch.	MICAI	2008	DBLP DOI BibTeX RDF
23	Tom Schrijvers	Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
23	Edmund S. L. Lam, Martin Sulzmann	A concurrent constraint handling rules implementation in Haskell with software transactional memory.	DAMP	2007	DBLP DOI BibTeX RDF	parallel implementation of concurrent language
23	Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann	Observable Confluence for Constraint Handling Rules.	ICLP	2007	DBLP DOI BibTeX RDF
23	Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen	Aggregates in Constraint Handling Rules.	ICLP	2007	DBLP DOI BibTeX RDF
23	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	The Refined Operational Semantics of Constraint Handling Rules.	ICLP	2004	DBLP DOI BibTeX RDF
23	Christophe Ringeissen, Éric Monfroy	Generating Propagation Rules for Finite Domains: A Mixed Approach.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
21	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Type Processing by Constraint Reasoning.	APLAS	2006	DBLP DOI BibTeX RDF
21	Jon Sneyers	Optimizing Compilation and Computational Complexity of Constraint Handling Rules.	ICLP	2009	DBLP DOI BibTeX RDF
21	Marc Meister, Khalil Djelloul, Jacques Robin	A Unified Semantics for Constraint Handling Rules in Transaction Logic.	LPNMR	2007	DBLP DOI BibTeX RDF
21	Oliver Kramer 0001, Stephan Brügger, Dejan Lazovic	Sex and death: towards biologically inspired heuristics for constraint handling.	GECCO	2007	DBLP DOI BibTeX RDF	constrained real parameter optimization, evolution strategies
21	Thom W. Frühwirth	Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.	ICLP	2005	DBLP DOI BibTeX RDF
21	Hariolf Betz, Thom W. Frühwirth	A Linear-Logic Semantics for Constraint Handling Rules.	CP	2005	DBLP DOI BibTeX RDF
21	Arturo Hernández Aguirre, Salvador Botello Rionda, Giovanni Lizárraga Lizárraga, Carlos A. Coello Coello	IS-PAES: Evolutionary Multi-Objective Optimization with Constraint Handling.	ENC	2003	DBLP DOI BibTeX RDF
21	Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur	Building Constraint Solvers with HAL.	ICLP	2001	DBLP DOI BibTeX RDF
21	Thom W. Frühwirth	Proving Termination of Constraint Solver Programs.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
21	Carlos Castro	COLETTE, Prototyping CSP Solvers Using a Rule-Based Language.	AISC	1998	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems, Rewriting Logic
20	Yohanes Bimo Dwianto, Hiroaki Fukumoto, Akira Oyama	On improving the constraint-handling performance with modified multiple constraint ranking (MCR-mod) for engineering design optimization problems solved by evolutionary algorithms.	GECCO	2019	DBLP DOI BibTeX RDF
20	Takeshi Kawachi, Jun-ichi Kushida, Akira Hara, Tetsuyuki Takahama	Efficient Constraint Handling based on the Adaptive Penalty Method with Balancing the Objective Function Value and the Constraint Violation.	IWCIA	2019	DBLP DOI BibTeX RDF
20	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Program Verification using Constraint Handling Rules and Array Constraint Generalizations.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
20	Asma Atamna, Anne Auger, Nikolaus Hansen	Augmented Lagrangian Constraint Handling for CMA-ES - Case of a Single Linear Constraint.	PPSN	2016	DBLP DOI BibTeX RDF
20	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Program Verification using Constraint Handling Rules and Array Constraint Generalizations.	VPT@CAV	2014	DBLP DOI BibTeX RDF
20	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Program Verification using Constraint Handling Rules and Array Constraint Generalizations.	CILC	2014	DBLP BibTeX RDF
20	Md. Asafuddoula, Tapabrata Ray, Ruhul A. Sarker	An efficient constraint handling approach for optimization problems with limited feasibility and computationally expensive constraint evaluations.	GECCO (Companion)	2013	DBLP DOI BibTeX RDF
20	Thierry Martinez	Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules.	PPDP	2010	DBLP DOI BibTeX RDF
20	Marco Gavanelli, Marco Alberti 0001, Evelina Lamma	Integrating Abduction and Constraint Optimization in Constraint Handling Rules.	ECAI	2008	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi 0001	Soft Constraint Propagation and Solving in Constraint Handling Rules.	Comput. Intell.	2004	DBLP DOI BibTeX RDF
20	Slim Abdennadher, Thom W. Frühwirth	Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules.	WLP	2000	DBLP BibTeX RDF
20	Armin Wolf	Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme.		1999	RDF
20	Bing Liu 0021	Specific Constraint Handling in Constraint Satisfaction Problems.	Int. J. Artif. Intell. Tools	1994	DBLP DOI BibTeX RDF
19	Thomas Philip Runarsson, Xin Yao 0001	Search biases in constrained evolutionary optimization.	IEEE Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
19	Kalyanmoy Deb, Amrit Pratap, T. Meyarivan	Constrained Test Problems for Multi-objective Evolutionary Optimization.	EMO	2001	DBLP DOI BibTeX RDF
19	Ozer Ozdikis	Genetic Algorithms with Random Coordinates for Route Planning on a 3D Terrain.	ICGEC	2011	DBLP DOI BibTeX RDF	3D GIS Environment, Constraint Handling, Multi-criteria Optimization, Route Planning
19	Peter Van Weert	Efficient Lazy Evaluation of Rule-Based Programs.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	Optimizing compilation, lazy evaluation, production rules, matching algorithms, constraint handling rules
19	Verónica Dahl, Erez Maharshak	DNA Replication as a Model for Computational Linguistics.	IWINAC (1)	2009	DBLP DOI BibTeX RDF	DNA replication, long distance dependencies, synthesis, analysis, computational linguistics, molecular biology, constraint handling rules
19	Beata Sarna-Starosta, Tom Schrijvers	Attributed Data for CHR Indexing.	ICLP	2009	DBLP DOI BibTeX RDF	term representation, attributed variables, indexing, program transformation, Constraint Handling Rules
19	Rinku Dewri, L. Darrell Whitley, Indrajit Ray, Indrakshi Ray	A multi-objective approach to data sharing with privacy constraints and preference based objectives.	GECCO	2009	DBLP DOI BibTeX RDF	anonymization bias, multi-objective optimization, constraint handling, disclosure control
19	Paolo Pilozzi, Danny De Schreye	Termination Analysis of CHR Revisited.	ICLP	2008	DBLP DOI BibTeX RDF	Termination Analysis, Constraint Handling Rules
19	Ken Harada, Jun Sakuma, Shigenobu Kobayashi, Isao Ono	Uniform sampling of local pareto-optimal solution curves by pareto path following and its applications in multi-objective GA.	GECCO	2007	DBLP DOI BibTeX RDF	multi-objective optimization, local search, constraint handling
19	Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo	Unfolding in CHR.	PPDP	2007	DBLP DOI BibTeX RDF	program transformation, unfolding, constraint handling rules
19	Ken Harada, Jun Sakuma, Shigenobu Kobayashi	Local search for multiobjective function optimization: pareto descent method.	GECCO	2006	DBLP DOI BibTeX RDF	multi-objective optimization, local search, constraint handling
19	Manuel Cebrián, Iván Dotú	GRASP - evolution for constraint satisfaction problems.	GECCO	2006	DBLP DOI BibTeX RDF	evolutionary combinatorial optimization, random binary CSPs, heuristics, hybridization, constraint handling
19	Steven Manos, Geraint Lewis	A combinatorial genetic algorithm for the configuration of the 2dF/AAOmega spectrograph at the anglo-Australian observatory.	GECCO	2006	DBLP DOI BibTeX RDF	astronomical scheduling, permutative representation, scheduling optimisation, genetic algorithm, constraint handling
19	Songhua Xu, Francis C. M. Lau 0001, William K. Cheung 0001, Yunhe Pan	Automatic Generation of Artistic Chinese Calligraphy.	IEEE Intell. Syst.	2005	DBLP DOI BibTeX RDF	computer calligraphy, hierarchical shape representation, computer graphics, constraint satisfaction, constraint handling, nonphotorealistic rendering, analogous reasoning, constraint-based reasoning, shape decomposition
19	Ricardo Landa Becerra, Carlos A. Coello Coello	Optimization with constraints using a cultured differential evolution approach.	GECCO	2005	DBLP DOI BibTeX RDF	optimization, differential evolution, constraint handling, cultural algorithms