Ver Publicación - Prisma - Unidad de Bibliometría

Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers

Elffers, J; Giráldez-Cru, J; Nordström, J ; Vinyals, M

Tipo: Ponencia
Año de Publicación: 2018
Volumen: 10929
Páginas: 75 - 93
Fuente Nº Citas Fecha Actualización
scopus1707-06-2025
wos1108-06-2025
Agencia Código de Proyecto
European Research Council (ERC)279611; 279611
European Research Council under the European Union279611; 279611
Prof. R Narasimhan Foundation-
Swedish Research Council621-2012-5645; 2016-00782; 621-2012-5645; 2016-00782
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Elffers, JRoyal Institute of Technology (Sweden)
2Giráldez-Cru, JRoyal Institute of Technology (Sweden)
3Nordström, J Royal Institute of Technology (Sweden)
4Vinyals, MTata Institute of Fundamental Research (TIFR) (India)
# Editor literario Afiliación
5Beyersdorff, OSin datos ()
6Wintersteiger, CMSin datos ()