![Foto de CARLOS J.](/img/nophoto.png)
CARLOS J.
ANSOTEGUI GIL
CU
Publicaciones (87) Publicaciones de CARLOS J. ANSOTEGUI GIL
2024
-
Effectively computing high strength mixed covering arrays with constraints
Journal of Parallel and Distributed Computing, Vol. 185
-
ePyDGGA: automatic configuration for fitting epidemic curves
Scientific Reports, Vol. 14, Núm. 1
2023
-
Encoding Ethics to Compute Value-Aligned Norms
Minds and Machines, Vol. 33, Núm. 4, pp. 761-790
-
Exploiting Configurations of MaxSAT Solvers
Leibniz International Proceedings in Informatics, LIPIcs
-
Interpretable decision trees through MaxSAT
Artificial Intelligence Review, Vol. 56, Núm. 8, pp. 8303-8323
2022
-
Boosting evolutionary algorithm configuration
Annals of Mathematics and Artificial Intelligence, Vol. 90, Núm. 7-9, pp. 715-734
-
Incomplete MaxSAT approaches for combinatorial testing
Journal of Heuristics, Vol. 28, Núm. 4, pp. 377-431
-
OptiLog V2: Model, Solve, Tune and Run
Leibniz International Proceedings in Informatics, LIPIcs
-
Scale-Free Random SAT Instances
Algorithms, Vol. 15, Núm. 6
-
Yet Another (Fake) Proof of P=NP
Frontiers in Artificial Intelligence and Applications
2021
-
Building high strength mixed covering arrays with constraints
Leibniz International Proceedings in Informatics, LIPIcs
-
Learning to Optimize Black-Box Functions with Extreme Limits on the Number of Function Evaluations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
OptiLog: A Framework for SAT-based Systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
PyDGGA: Distributed GGA for Automatic Configuration
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reducing SAT to Max2SAT
IJCAI International Joint Conference on Artificial Intelligence
2019
-
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472
-
Hyper-reactive Tabu search for MaxSAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Phase transition in realistic random SAT models
Frontiers in Artificial Intelligence and Applications
2018
-
Exploiting Moral Values to Choose the Right Norms
AIES 2018 - Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society