scientific article
From MaRDI portal
Publication:2786910
zbMath1348.68228MaRDI QIDQ2786910
Inês Lynce, Mikoláš Janota, João P. Marques-Silva, Vasco M. Manquinho
Publication date: 23 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of operating systems (68N25)
Related Items (3)
Exploiting Resolution-Based Representations for MaxSAT Solving ⋮ Reactive synthesis with maximum realizability of linear temporal logic specifications ⋮ PackUp
This page was built for publication:
