1. Multi-agent path finding: A new boolean encoding;Achá;J. Artificial Intelligence Res.,2022
2. A systematic review on supervised and unsupervised machine learning algorithms for data science;Alloghani;Superv. Unsupervised Learn. Data Sci.,2020
3. Machine learning;Alpaydin,2021
4. Sequential time splitting and bounds communication for a portfolio of optimization solvers;Amadini,2014
5. Improving SAT-based weighted maxsat solvers;Ansótegui,2012