E-LIB Suche - Ergebnisse für: Ansótegui, Carlos

1

Implementing 3-SAT Gadgets for Quantum Annealers with Rando..:

, In: Computational Science – ICCS 2024; Lecture Notes in Computer Science,

Rodríguez-Farrés, Pol ; Ballester, Rocco ; Ansótegui, Carlos.. - p. 277-291 , 2024

Link: https://doi.org/10.1007/..

2

ePyDGGA: automatic configuration for fitting epidemic curve:

Alòs, Josep ; Ansótegui, Carlos ; Dotu, Ivan...
Scientific Reports. 14 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

3

Effectively computing high strength mixed covering arrays w..:

Ansótegui, Carlos ; Torres, Eduard
Journal of Parallel and Distributed Computing. 185 (2024) - p. 104791 , 2024

Link: https://doi.org/10.1016/..

4

Encoding Ethics to Compute Value-Aligned Norms:

Serramia, Marc ; Rodriguez-Soto, Manel ; Lopez-Sanchez, Maite...
Minds and Machines. 33 (2023) 4 - p. 761-790 , 2023

Link: https://doi.org/10.1007/..

5

Incomplete MaxSAT approaches for combinatorial testing:

Ansótegui, Carlos ; Manyà, Felip ; Ojeda, Jesus..
Journal of Heuristics. 28 (2022) 4 - p. 377-431 , 2022

Link: https://doi.org/10.1007/..

6

Scale-Free Random SAT Instances:

Ansótegui, Carlos ; Bonet, Maria Luisa ; Levy, Jordi
Algorithms. 15 (2022) 6 - p. 219 , 2022

Link: https://doi.org/10.3390/..

7

Interpretable decision trees through MaxSAT:

Alòs, Josep ; Ansótegui, Carlos ; Torres, Eduard
Artificial Intelligence Review. 56 (2022) 8 - p. 8303-8323 , 2022

Link: https://doi.org/10.1007/..

8

OptiLog: A Framework for SAT-based Systems:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,

Ansótegui, Carlos ; Ojeda, Jesús ; Pacheco, Antonio... - p. 1-10 , 2021

Link: https://doi.org/10.1007/..

9

Learning to Optimize Black-Box Functions with Extreme Limit..:

, In: Lecture Notes in Computer Science; Learning and Intelligent Optimization,

Ansótegui, Carlos ; Sellmann, Meinolf ; Shah, Tapan. - p. 7-24 , 2021

Link: https://doi.org/10.1007/..

10

PyDGGA: Distributed GGA for Automatic Configuration:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,

Ansótegui, Carlos ; Pon, Josep ; Sellmann, Meinolf. - p. 11-20 , 2021

Link: https://doi.org/10.1007/..

11

Boosting evolutionary algorithm configuration:

Ansótegui, Carlos ; Pon, Josep ; Sellmann, Meinolf
Annals of Mathematics and Artificial Intelligence. 90 (2021) 7-9 - p. 715-734 , 2021

Link: https://doi.org/10.1007/..

12

Automatic Detection of At-Most-One and Exactly-One Relation..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Ansótegui, Carlos ; Bofill, Miquel ; Coll, Jordi... - p. 20-36 , 2019

Link: https://doi.org/10.1007/..

13

Hyper-Reactive Tabu Search for MaxSAT:

, In: Lecture Notes in Computer Science; Learning and Intelligent Optimization,

Ansótegui, Carlos ; Heymann, Britta ; Pon, Josep.. - p. 309-325 , 2018

Link: https://doi.org/10.1007/..

14

Moral Values in Norm Decision Making:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,

Serramia, Marc ; Lopez-Sanchez, Maite ; Rodriguez-Aguilar, Juan A.... - p. 1294-1302 , 2018

Link: https://dl.acm.org/doi/1..

15

Self-configuring Cost-Sensitive Hierarchical Clustering wit..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Ansotegui, Carlos ; Sellmann, Meinolf ; Tierney, Kevin - p. 524-534 , 2018

Link: https://doi.org/10.1007/..