Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index

Autor:	Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Rok vydání:	2022
Zdroj:	Lecture Notes in Computer Science ISBN: 9783031208614
DOI:	10.1007/978-3-031-20862-1_5
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f2e631d75baa54abdec20a0e6cb37eda https://doi.org/10.1007/978-3-031-20862-1_5 Zobrazit plný text záznamu