Abstract interpretation for constraint handling rules

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069795 ◽

2005 ◽

Cited By ~ 8

Author(s):

Tom Schrijvers ◽

Peter J. Stuckey ◽

Gregory J. Duck

Keyword(s):

Abstract Interpretation ◽

Constraint Handling

Download Full-text

Program Verification Techniques Based on the Abstract Interpretation Theory

Journal of Software ◽

10.3724/sp.j.1001.2008.00017 ◽

2008 ◽

Vol 19 (1) ◽

pp. 17-26 ◽

Cited By ~ 5

Author(s):

Meng-Jun LI

Keyword(s):

Program Verification ◽

Abstract Interpretation ◽

Verification Techniques

Download Full-text

Mechatronic Design with Automatic Constraint Handling Using Evolutionary Algorithms

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)39229-7 ◽

2000 ◽

Vol 33 (26) ◽

pp. 711-716

Author(s):

Mattias Wahde ◽

Hans Sandholt

Keyword(s):

Evolutionary Algorithms ◽

Constraint Handling ◽

Mechatronic Design

Download Full-text

An infeasible solutions diversity maintenance epsilon constraint handling method for evolutionary constrained multiobjective optimization

Soft Computing ◽

10.1007/s00500-021-05880-5 ◽

2021 ◽

Author(s):

Jinlong Zhou ◽

Juan Zou ◽

Jinhua Zheng ◽

Shengxiang Yang ◽

Dunwei Gong ◽

...

Keyword(s):

Multiobjective Optimization ◽

Constraint Handling ◽

Diversity Maintenance ◽

Constrained Multiobjective Optimization ◽

Handling Method

Download Full-text

Differential evolution using novel individual evaluation and constraint handling techniques for constrained optimization

Soft Computing ◽

10.1007/s00500-021-05831-0 ◽

2021 ◽

Author(s):

Erping Song ◽

Hecheng Li

Keyword(s):

Differential Evolution ◽

Constrained Optimization ◽

Constraint Handling ◽

Individual Evaluation

Download Full-text

Verification of Erlang programs using abstract interpretation and model checking

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99 ◽

10.1145/317636.317908 ◽

1999 ◽

Cited By ~ 12

Author(s):

Frank Huch

Keyword(s):

Model Checking ◽

Abstract Interpretation

Download Full-text

Constraint handling in constrained optimization of a storage ring multi-bend-achromat lattice

Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment ◽

10.1016/j.nima.2020.164890 ◽

2021 ◽

Vol 988 ◽

pp. 164890 ◽

Cited By ~ 1

Author(s):

Jianhao Xu ◽

Penghui Yang ◽

Gangwen Liu ◽

Zhenghe Bai ◽

Weimin Li

Keyword(s):

Constrained Optimization ◽

Storage Ring ◽

Constraint Handling

Download Full-text

Constraint-handling techniques used with evolutionary algorithms

Proceedings of the Genetic and Evolutionary Computation Conference Companion ◽

10.1145/3449726.3461400 ◽

2021 ◽

Author(s):

Carlos A. Coello Coello

Keyword(s):

Evolutionary Algorithms ◽

Constraint Handling

Download Full-text

Deep generative model for non-convex constraint handling

Proceedings of the 2020 Genetic and Evolutionary Computation Conference ◽

10.1145/3377930.3390170 ◽

2020 ◽

Author(s):

Naoki Sakamoto ◽

Eiji Semmatsu ◽

Kazuto Fukuchi ◽

Jun Sakuma ◽

Youhei Akimoto

Keyword(s):

Generative Model ◽

Constraint Handling ◽

Convex Constraint

Download Full-text

Tracing compilation by abstract interpretation

ACM SIGPLAN Notices ◽

10.1145/2578855.2535866 ◽

2014 ◽

Vol 49 (1) ◽

pp. 47-59

Author(s):

Stefano Dissegna ◽

Francesco Logozzo ◽

Francesco Ranzato

Keyword(s):

Abstract Interpretation

Download Full-text

A Multi-objective Constraint-handling based Approach for Short-term Hydro-thermal-wind Co-scheduling Problem

IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society ◽

10.1109/iecon43393.2020.9255007 ◽

2020 ◽

Author(s):

Bin Ji ◽

Samson S. Yu ◽

Zikang Su

Keyword(s):

Constraint Handling ◽

Scheduling Problem ◽

Short Term ◽

Thermal Wind ◽

Multi Objective

Download Full-text