LNCS 2919 - Theory and Applications of Satisfiability Testing
Enrico Giunchiglia & Armando Tacchella
Theory and Applications of Satisfiability Testing
Год:
2009
Язык:
english
Файл:
PDF, 5.66 MB
IPFS:
,
english, 2009