in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 10491 LNCS, Páginas: 195-211
Conference
20Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2017, Date: 28 August 2017 through 1 September 2017, Patrocinadores: Association for Constraint Programming;Association for Logic Programming;CSIRO Data61;et al;Monash University;University of Melbourne