Ruben Carlos Gonçalves Martins
AuthID: R-001-JNM
21
TITLE: Improving Search Space Splitting for Parallel SAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1