Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
- Elffers, J.
- Giráldez-Cru, J.
- Nordström, J.
- Vinyals, M.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319941431
Año de publicación: 2018
Volumen: 10929 LNCS
Páginas: 75-93
Tipo: Aportación congreso