Carlos Ansótegui - Publications, H-index & Citations

Carlos Ansótegui

Universitat de Lleida

24H指数

104论文数

2.0K被引数

收录论文 8

发表时间

SAT, gadgets, Max2XOR, and quantum annealers SAT、小工具、Max2XOR和量子退火器

QUANTUM INFORMATION PROCESSING

IF2.2

2025-10-15

OAAI

Ansotegui, Carlos; Levy, Jordi

Effectively computing high strength mixed covering arrays with constraints

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2024-03-01

PREAI

Ansotegui, Carlos; Torres, Eduard

ePyDGGA: automatic configuration for fitting epidemic curves

SCIENTIFIC REPORTS

IF3.9

2024-01-08

OAAI

Alos, Josep; Ansotegui, Carlos; Dotu, Ivan; Garcia-Herranz, Manuel; Pastells, Pol; Torres, Eduard

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

artificial intelligence review

IF4.6

2017-09-01

PREAI

Ansotegui, Carlos; Gabas, Joel

Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers 具有可满足性模理论求解器的多值逻辑的自动定理证明器

FUZZY SETS AND SYSTEMS

IF2.7

2016-06-01

PREAI

Ansotegui, Carlos; Bofill, Miguel; Manya, Felip; Villaret, Mateu

MaxSAT by improved instance-specific algorithm configuration

artificial intelligence review

IF4.6

2016-06-01

PREAI

Ansotegui, Carlos; Gabas, Joel; Malitsky, Yuri; Sellmann, Meinolf

SAT-based MaxSAT algorithms

artificial intelligence review

IF4.6

2013-03-01

123

OAAI

Ansotegui, Carlos; Luisa Bonet, Maria; Levy, Jordi

Automated monitoring of medical protocols:: a secure and distributed architecture

ARTIFICIAL INTELLIGENCE IN MEDICINE

IF6.2

2003-03-01

PREAI

Alsinet, T; Ansótegui, C; Béjar, R; Fernández, C; Manyà, F

研究方向