Filters
Complex geometrical constraints handling in the context of aerodynamic shape optimisation
transformation in order to enable handling of complex geometrical constraints neededThis article describes approach to the complex geometrical constrains handling that was developed in the framework of the European project...
JU - Aeronautika, aerodynamika, letadla
- 2014 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Case study: constraint handling in evolutionary optimization of catalytic materials
continuous and discrete variables, and especially by a large number of constraints. The paper describes the various kinds of encountered constraints, and explains constraint handling in GENACAT, one of evolutionar...
IN - Informatika
- 2011 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
A modified covariance matrix adaptation evolution strategy for real-world constrained optimization problems
). The proposed algorithm utilizes an e-constraint-based ranking and a repair method to handle several other state-of-the-art algorithms in terms of constraint handling with multiple non-linear as well as non-conve...
Computer and information sciences
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Solving String Constraints with Lengths by Stabilization
We present a new algorithm for solving string constraints. The algorithm builds upon a recent method for solving word equations and regular constraints the combinatorial explosion that plagues other approaches. We extend the approac...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Maximizing efficiency: A comparative study of SOMA variants and constraint handling methods for time delay system optimization
constraint handling methods for the optimization of a time delay system model. The paper constraint handling methods and the adaptive mechanisms of metaheuristics. © 2023 results highlight the effectiveness of the...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Soft CLP(FD)
Over-constrained problems can be solved with the help of soft constraints. Weighted constraints are a typical representation of soft constraints used to minimize weights of unsatisfied constraints. A natural extens...
JD - Využití počítačů, robotika a její aplikace
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report)
of string constraints. Its use is the primary cause of the state space explosion in string constraint solving, since it is the only rule that creates branches in the proof tree. Moreover, explicit handling of the case spli...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- O
Rok uplatnění
O - Ostatní výsledky
A symbolic algorithm for the case-split rule in solving word constraints with extensions
of string constraints. Its use is the primary cause of the state space explosion in string constraint solving, since it is the only rule that creates branches in the proof tree. Moreover, explicit handling of the case spli...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Solving String Constraints with Approximate Parikh Image
of finite automata to resolve string length constraints. We integrate this abstraction into the string solver SLOTH, where on top of handling length constraints, our abstraction is also used to speed-up solving other types...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure
constraintsolving. As a consequence, our approach is able to handle large constraint systemsIn order to facilitate automated reasoning about large Boolean combinations of non-linear arithmetic constraints involving transce...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 13 357