English
Related papers

Related papers: Evolutionary Diversity Optimisation in Constructin…

200 papers

The goal of population spectral synthesis (PSS) is to decipher from the spectrum of a galaxy the mass, age and metallicity of its constituent stellar populations. This technique has been established as a fundamental tool in extragalactic…

Astrophysics of Galaxies · Physics 2017-04-14 Jean Michel Gomes , Polychronis Papaderos

Optimal experimental design is an essential subfield of statistics that maximizes the chances of experimental success. The D- and A-optimal design is a very challenging problem in the field of optimal design, namely minimizing the…

Neural and Evolutionary Computing · Computer Science 2022-08-25 Lyuyang Tong

Multi-objective evolutionary algorithms (MOEAs) are essential for solving complex optimization problems, such as the diet problem, where balancing conflicting objectives, like cost and nutritional content, is crucial. However, most MOEAs…

Neural and Evolutionary Computing · Computer Science 2026-01-05 Gustavo V. Nascimento , Ivan R. Meneghini , Valéria Santos , Eduardo Luz , Gladston Moreira

Applying deep learning to solve real-life instances of hard combinatorial problems has tremendous potential. Research in this direction has focused on the Boolean satisfiability (SAT) problem, both because of its theoretical centrality and…

Artificial Intelligence · Computer Science 2023-06-06 Dimitris Achlioptas , Amrit Daswaney , Periklis A. Papakonstantinou

Recent LLM-guided evolutionary search methods have shown that iterative program mutation can discover strong algorithms, but they typically optimize each task independently, even when related tasks share reusable structure. We introduce…

Machine Learning · Computer Science 2026-05-22 Halil Alperen Gozeten , Xuechen Zhang , Emrullah Ildiz , Ege Onur Taga , Tara Javidi , Samet Oymak

A common way of solving satisfiability instances with quantum methods is to transform these instances into instances of QUBO, which in itself is a potentially difficult and expensive task. State-of-the-art transformations from MAX-3SAT to…

The Boolean satisfiability problem (SAT), in particular 3SAT with its bounded clause size, is a well-studied problem since a wide range of decision problems can be reduced to it. Due to its high complexity, examining potentials of quantum…

Quantum Physics · Physics 2024-01-12 Alexander Mandl , Johanna Barzen , Marvin Bechtold , Frank Leymann , Karoline Wild

The Travelling Salesman and its variations are some of the most well known NP hard optimisation problems. This paper looks to use both centralised and decentralised implementations of Evolutionary Algorithms (EA) to solve a dynamic variant…

Neural and Evolutionary Computing · Computer Science 2019-06-14 Thomas E. Kent , Arthur G. Richards

Designing evolutionary algorithms capable of uncovering highly evolvable representations is an open challenge; such evolvability is important because it accelerates evolution and enables fast adaptation to changing circumstances. This paper…

Neural and Evolutionary Computing · Computer Science 2019-07-16 Alexander Gajewski , Jeff Clune , Kenneth O. Stanley , Joel Lehman

Mutation has traditionally been regarded as an important operator in evolutionary algorithms. In particular, there have been many experimental studies which showed the effectiveness of adapting mutation rates for various static optimization…

Artificial Intelligence · Computer Science 2011-06-06 Tianshi Chen , Yunji Chen , Ke Tang , Guoliang Chen , Xin Yao

Knowledge transfer-based evolutionary optimization has garnered significant attention, such as in multi-task evolutionary optimization (MTEO), which aims to solve complex problems by simultaneously optimizing multiple tasks. While this…

Neural and Evolutionary Computing · Computer Science 2025-10-10 Jie Zhao , Kang Hao Cheong , Yaochu Jin

Boolean satisfiability ({\SAT}) has played a key role in diverse areas spanning testing, formal verification, planning, optimization, inferencing and the like. Apart from the classical problem of checking boolean satisfiability, the…

Logic in Computer Science · Computer Science 2014-04-29 Kuldeep S. Meel

In Bayesian inference, the maximum a posteriori (MAP) problem combines the most probable explanation (MPE) and marginalization (MAR) problems. The counterpart in propositional logic is the exist-random stochastic satisfiability (ER-SSAT)…

Logic in Computer Science · Computer Science 2022-05-23 Vu H. N. Phan , Moshe Y. Vardi

A key challenge to make effective use of evolutionary algorithms is to choose appropriate settings for their parameters. However, the appropriate parameter setting generally depends on the structure of the optimisation problem, which is…

Neural and Evolutionary Computing · Computer Science 2020-04-02 Brendan Case , Per Kristian Lehre

Recent formal approaches towards causality have made the concept ready for incorporation into the technical world. However, causality reasoning is computationally hard; and no general algorithmic approach exists that efficiently infers the…

Artificial Intelligence · Computer Science 2019-05-01 Amjad Ibrahim , Simon Rehwald , Alexander Pretschner

Recent decades have witnessed great advancements in multiobjective evolutionary algorithms (MOEAs) for multiobjective optimization problems (MOPs). However, these progressively improved MOEAs have not necessarily been equipped with scalable…

Neural and Evolutionary Computing · Computer Science 2023-02-28 Songbai Liu , Qiuzhen Lin , Jianqiang Li , Kay Chen Tan

The present survey provides the state-of-the-art of research, copiously devoted to Evolutionary Approach (EAs) for clustering exemplified with a diversity of evolutionary computations. The Survey provides a nomenclature that highlights some…

Neural and Evolutionary Computing · Computer Science 2013-12-10 Ramachandra Rao Kurada , Dr. K Karteeka Pavan , Dr. AV Dattareya Rao

A fundamental question in Computer Science is understanding when a specific class of problems go from being computationally easy to hard. Because of its generality and applications, the problem of Boolean Satisfiability (aka SAT) is often…

Artificial Intelligence · Computer Science 2013-04-02 Soumya C. Kambhampati , Thomas Liu

Optimization problems pervade essentially every scientific discipline and industry. Many such problems require finding a solution that maximizes the number of constraints satisfied. Often, these problems are particularly difficult to solve…

Artificial Intelligence · Computer Science 2017-10-26 Fabio L. Traversa , Pietro Cicotti , Forrest Sheldon , Massimiliano Di Ventra

Evolutionary algorithms are widely used to solve optimisation problems. However, challenges of transparency arise in both visualising the processes of an optimiser operating through a problem and understanding the problem features produced…

Neural and Evolutionary Computing · Computer Science 2020-06-23 Mathew Walter , David Walker , Matthew Craven