scientific article
From MaRDI portal
Publication:3515551
zbMath1169.90404MaRDI QIDQ3515551
Publication date: 29 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean programming (90C09) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (2)
Semidefinite resolution and exactness of semidefinite relaxations for satisfiability ⋮ On semidefinite least squares and minimal unsatisfiability
Uses Software
This page was built for publication: