Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ansótegui, Carlos
39  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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/..
 
?
8

WPM3: An (in)complete algorithm for weighted partial MaxSAT:

Ansótegui, Carlos ; Gabàs, Joel
Artificial Intelligence.  250 (2017)  - p. 37-57 , 2017
Link: https://doi.org/10.1016/..
 
?
9

Structure features for SAT instances classification:

Ansótegui, Carlos ; Bonet, Maria Luisa ; Giráldez-Cru, Jesús.
Journal of Applied Logic.  23 (2017)  - p. 27-39 , 2017
Link: https://doi.org/10.1016/..
 
?
10

Automated theorem provers for multiple-valued logics with s..:

Ansótegui, Carlos ; Bofill, Miquel ; Manyà, Felip.
Fuzzy Sets and Systems.  292 (2016)  - p. 32-48 , 2016
Link: https://doi.org/10.1016/..
 
?
11

MaxSAT by improved instance-specific algorithm configuratio:

Ansótegui, Carlos ; Gabàs, Joel ; Malitsky, Yuri.
Artificial Intelligence.  235 (2016)  - p. 26-39 , 2016
Link: https://doi.org/10.1016/..
 
?
12

Exploiting subproblem optimization in SAT-based MaxSAT algo..:

Ansótegui, Carlos ; Gabàs, Joel ; Levy, Jordi
Journal of Heuristics.  22 (2015)  1 - p. 1-53 , 2015
Link: https://doi.org/10.1007/..
 
?
13

Resolution procedures for multiple-valued optimization:

Ansótegui, Carlos ; Bonet, María Luisa ; Levy, Jordi.
Information Sciences.  227 (2013)  - p. 43-59 , 2013
Link: https://doi.org/10.1016/..
 
?
14

SAT-based MaxSAT algorithms:

Ansótegui, Carlos ; Bonet, Maria Luisa ; Levy, Jordi
Artificial Intelligence.  196 (2013)  - p. 77-105 , 2013
Link: https://doi.org/10.1016/..
 
?
15

On the hardness of solving edge matching puzzles as SAT or ..:

Ansótegui, Carlos ; Béjar, Ramón ; Fernández, Cèsar.
Constraints.  18 (2012)  1 - p. 7-37 , 2012
Link: https://doi.org/10.1007/..
 
1-15