scientific article; zbMATH DE number 1335882

zbMATH Open0935.68025MaRDI QIDQ4258573FDOQ4258573

Authors: Manindra Agrawal, Thomas Thierauf 

Publication date: 13 September 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

satisfiability problem

Mathematics Subject Classification ID

Cited In (3)

• On the Complexity of the Hidden Weighted Bit Function for Various BDD Models
• The satisfiability problem for probabilistic ordered 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)