|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability |
Luo, Chuan |
2017 |
243 | C |
p. 26-44 19 p. |
artikel |
|
| 2 | Editorial Board |
2017 |
243 | C |
p. IFC- 1 p. |
artikel |
||
| 3 | Query efficient posterior estimation in scientific experiments via Bayesian active learning |
Kandasamy, Kirthevasan |
2017 |
243 | C |
p. 45-56 12 p. |
artikel |
|
| 4 | The Configurable SAT Solver Challenge (CSSC) |
Hutter, Frank |
2017 |
243 | C |
p. 1-25 25 p. |
artikel |
4 gevonden resultaten