scientific article; zbMATH DE number 1765680

MaRDI QIDQ4539620zbMATH OpenFDO

Authors Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830364

Mathematics Subject Classification ID

Cited in

(13)

• A Compact Representation for Syntactic Dependencies in QBFs
• A self-adaptive multi-engine solver for quantified Boolean formulas
• Beyond CNF: A Circuit-Based QBF Solver
• Reasoning with propositional logic: from SAT solvers to knowledge compilation
• New Results on the Phase Transition for Random Quantified Boolean Formulas
• Message passing algorithm for solving QBF using more reasoning
• QUBE
• Incremental determinization
• On deciding subsumption problems
• Boolean functions as models for quantified Boolean formulas
• Computational methods for database repair by signed formulae
• Compressing BMC encodings with QBF
• Backjumping for quantified Boolean logic satisfiability

Describes a project that uses

Uses Software

• SPASS
• QuBE++

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539620)