scientific article; zbMATH DE number 1765680

zbMATH Open0988.68598MaRDI QIDQ4539620FDOQ4539620

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 of this publication is not available (Why is that?)

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
• 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
• Incremental Determinization
• Backjumping for quantified Boolean logic satisfiability

Uses Software

• QuBE++
• SPASS

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)