Integer Linear Programming Preprocessing for Maximum Satisfiability.
CoRR, June, 2025
PoisonSwarm: Universal Harmful Information Synthesis via Model Crowdsourcing.
CoRR, May, 2025
The Maximum Influence k-Plex Problem and its Branch-and-Bound Algorithm.
Int. J. Artif. Intell. Tools, December, 2024
Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability.
Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence, 2024
An Exact Algorithm for the Minimum Dominating Set Problem.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
A Refined Upper Bound and Inprocessing for the Maximum K-plex Problem.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023