Two papers presenting research results from the GGOAT research group and the Algorithms Laboratory at FIT CTU have been accepted to the main program of the AAAI 2026 Conference on Artificial Intelligence (AAAI), which is regarded as one of the most prominent conferences in the field of artificial intelligence and holds the highest A* rating. The publications succeeded in record-breaking competition of nearly 31,000 submitted papers, from which only around 5,000 were selected for the main conference program following a rigorous peer-review process.
The first paper, entitled “Exact Algorithms for Distance to Unique Vertex Cover,” studies algorithms for finding instances of the vertex cover problem with a single unique solution. This is important for creating challenging datasets for machine learning models and for developing benchmarks. The authors of the paper are Foivos Fioravantes, Ph.D.; Assoc. Prof. Dušan Knop, Ph.D., Michal Opler, Ph.D. (FIT CTU); Nikolaos Melissinos, Ph.D. (Faculty of Mathematics and Physics, Charles University); and Manolis Vasilakis (Université Paris-Dauphine, PSL).
“We were thrilled to present our work at AAAI amidst strong competition. The conference's vibrant setting in Singapore fostered excellent discussions on our core contribution: innovating the study of benchmark design through the introduction of modern algorithmics,” says Foivos Fioravantes, Ph.D., from FIT CTU.
The second paper, titled “Dividing Indivisible Items for the Benefit of All: It Is Hard to Be Fair Without Social Awareness,” focuses on the fair allocation of resources. Compared to previous work on this topic, it extends the model by incorporating so-called social impact. This means that each allocated resource has an effect on overall social welfare depending on which agent receives it. The objective is to find an allocation that ensures basic fairness among agents while maximizing the overall benefit to society. The authors are Argyrios Deligkas (Royal Holloway, University of London), Eduard Eiben (Royal Holloway, University of London), Tiger-Lily Goldsmith (Royal Holloway, University of London), Assoc. Prof. Dušan Knop, Ph.D., and Šimon Schierreich, Ph.D. (FIT CTU).
The goal of the AAAI conference is to promote research in artificial intelligence and to foster scientific exchange among researchers, practitioners, scientists, students, and engineers across the entire AI community and related disciplines.
