Repositorio Institucional de la Universidad de Oviedo

Serie:

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Descripción física:

Descripción:

International Conference on Theory and Applications of Satisfiability Testing, SAT (22nd. 2019. Lisbon, Portugal)

ISSN:

Patrocinado por:

This research is supported by the Spanish Government under project TIN2016-79190-R and by the Principality of Asturias under grant IDI/2018/000176. This work is also supported by FCT grants ABSOLV (PTDC/CCI-COM/28986/2017), FaultLocker (PTDC/CCI-COM/29300/2017), SAFETY (SFRH/BPD/120315/2016), and SAMPLE (CEECIND/04549/2017), and by EPSRC grant EP/S015523/1.