scientific article; zbMATH DE number 1335882

MaRDI QIDQ4258573zbMATH OpenFDO

Authors Manindra Agrawal, Thomas Thierauf

Publication date 13 September 1999

zbMATH Keywords

satisfiability problem

Mathematics Subject Classification ID

Recommendations

• The satisfiability problem for probabilistic ordered branching programs
• Probabilistic approach to the satisfiability problem
• A probabilistic study on the satisfiability problem
• Probabilistic analysis of satisfiability algorithms
• Probabilistic satisfiability and coherence checking through integer programming
• Probabilistic satisfiability and coherence checking through integer programming
• Probabilistic satisfiability
• Probabilistic satisfiability
• Theory and Applications of Satisfiability Testing

Cited in

(5)

• Satisfiability algorithm for syntactic read-\(k\)-times branching programs
• The satisfiability problem for probabilistic ordered branching programs
• On the Complexity of the Hidden Weighted Bit Function for Various BDD Models
• Satisfiability algorithm for syntactic read-\(k\)-times branching programs
• Syntactic partial order compression for probabilistic reachability

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 Q4258573)