Orlando Ferrante, A. Ferrari, Christos Sofronis, L. Mangeruca, L. Benvenuti
{"title":"An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems","authors":"Orlando Ferrante, A. Ferrari, Christos Sofronis, L. Mangeruca, L. Benvenuti","doi":"10.1007/978-3-319-63516-3_16","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_16","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123421982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Parallel Answer Set Programming","authors":"A. Dovier, A. Formisano, Enrico Pontelli","doi":"10.1007/978-3-319-63516-3_7","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_7","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"198 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132071239","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Lindauer, H. Hoos, F. Hutter, Kevin Leyton-Brown
{"title":"Selection and Configuration of Parallel Portfolios","authors":"M. Lindauer, H. Hoos, F. Hutter, Kevin Leyton-Brown","doi":"10.1007/978-3-319-63516-3_15","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_15","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122413879","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
P. Codognet, Danny Múnera, Daniel Diaz, Salvador Abreu
{"title":"Parallel Local Search","authors":"P. Codognet, Danny Múnera, Daniel Diaz, Salvador Abreu","doi":"10.1007/978-3-319-63516-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_10","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132894739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Parallel Solvers for Mixed Integer Linear Optimization","authors":"T. Ralphs, Y. Shinano, Timo Berthold, T. Koch","doi":"10.1007/978-3-319-63516-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-63516-3_8","url":null,"abstract":"","PeriodicalId":263903,"journal":{"name":"Handbook of Parallel Constraint Reasoning","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124767040","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}