Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings

Detalles Bibliográficos
Autores principales: Beyersdorff, Olaf, Wintersteiger, Christoph M
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764264

Internet

http://cds.cern.ch/record/2764264

Ejemplares similares