< Terug naar vorige pagina
Project
Vervulbaarheid en modelgeneratie in oneindige ruimtes
Het uiteindelijke doel van het declaratieve programmeerparadigma is om de kennis te vertegenwoordigen die beschikbaar is in een probleemdomein, in plaats van die van een specifieke taak die te maken heeft met (een voorbeeld van) die kennis.
Datum:1 jan 2016 → 31 dec 2019
Trefwoorden:Satisfiability, model generation, infinite space
Disciplines:Computer hardware, Computertheorie, Scientific computing, Andere computer ingenieurswetenschappen, informatietechnologie en mathematische ingenieurswetenschappen