scientific article; zbMATH DE number 1765680
From MaRDI portal
Publication:4539620
zbMath0988.68598MaRDI QIDQ4539620
Enrico Giunchiglia, Armando Tacchella, Massimo Narizzano
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830364
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
Boolean functions as models for quantified Boolean formulas ⋮ New Results on the Phase Transition for Random Quantified Boolean Formulas ⋮ Message passing algorithm for solving QBF using more reasoning ⋮ On deciding subsumption problems ⋮ Computational methods for database repair by signed formulae ⋮ Incremental Determinization ⋮ A self-adaptive multi-engine solver for quantified Boolean formulas ⋮ A Compact Representation for Syntactic Dependencies in QBFs ⋮ Beyond CNF: A Circuit-Based QBF Solver ⋮ QUBE ⋮ Compressing BMC Encodings with QBF ⋮ Backjumping for quantified Boolean logic satisfiability
Uses Software
This page was built for publication:
