SmArT solving
M.J.H. Heule
SmArT solving tool and techniques for satisfiability solvers
Hardback144 pagina’sEngels
In het kort
Bibliografisch
ISBN-139789090228778
Editie1
TaalEngels eng
Pagina’s144
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Kunstmatige intelligentie 984
NUR (alle)984 Kunstmatige intelligentie
Medewerkers
Auteur A01M.J.H. Heule
Herkomst
Werk-id (NSTC)500627241
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500627241 · CB-relatie 9792429 · Bijgewerkt 6 augustus 2026