Cargando…
SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers
SAT research has a long history of source code and binary releases, thanks to competitions organized every year. However, since every cycle of competitions has its own set of rules and an adhoc way of publishing source code and binaries, compiling or even running any solver may be harder than what i...
| Autores principales: | , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7326543/ http://dx.doi.org/10.1007/978-3-030-51825-7_8 |