> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Evaluating ASP and Commercial Solvers on the CSPLib Beteiligte: Mancini, Toni; Micaletto, Davide; Patrizi, Fabio; Cadoli, Marco Erschienen: Springer Science and Business Media LLC, 2008 Erschienen in: Constraints Sprache: Englisch DOI: 10.1007/s10601-007-9028-6 ISSN: 1383-7133; 1572-9354 Schlagwörter: Artificial Intelligence ; Computational Theory and Mathematics ; Discrete Mathematics and Combinatorics ; Software Entstehung: Anmerkungen: