scientific article

zbMath1327.68211MaRDI QIDQ3457218

Enrico Giunchiglia, Maria Fox, Michael Cashmore

Publication date: 11 December 2015

Full work available at URL: http://ebooks.iospress.nl/volumearticle/6975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (11)

The QBF Gallery: behind the scenes ⋮ Conformant planning as a case study of incremental QBF solving ⋮ Long-distance Q-resolution with dependency schemes ⋮ Unnamed Item ⋮ Lower bound techniques for QBF expansion ⋮ Unnamed Item ⋮ Building strategies into QBF proofs ⋮ Solution to PSPACE-complete problem using P systems with active membranes with time-freeness ⋮ Long Distance Q-Resolution with Dependency Schemes ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: