Generalized probabilistic satisfiability

DOI10.1016/J.ENTCS.2017.04.004MaRDI QIDQ1744442zbMATH OpenOpenAlexWikidataFDO

Authors Carlos Caleiro, Filipe Casal, Andreia Mordido

Publication date 23 April 2018

Full work available at URL https://doi.org/10.1016/j.entcs.2017.04.004

zbMATH Keywords

phase transitionmixed integer programmingprobabilistic satisfiabilityGenPSAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Stochastic programming (90C15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mixed integer programming (90C11)

Recommendations

• Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
• Probabilistic satisfiability
• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
• Easy cases of probabilistic satisfiability
• Artificial Intelligence and Soft Computing - ICAISC 2004

Cites work

• scientific article; zbMATH DE number 3854804 (Why is no real title available?)
• scientific article; zbMATH DE number 67483 (Why is no real title available?)
• scientific article; zbMATH DE number 1324220 (Why is no real title available?)
• scientific article; zbMATH DE number 3793772 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• scientific article; zbMATH DE number 3313427 (Why is no real title available?)
• A logic for reasoning about probabilities
• Probabilistic logic
• Probabilistic satisfiability
• Probabilistic satisfiability and coherence checking through integer programming
• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
• The Monty Hall problem. The remarkable story of math's most contentious brain teaser.
• The complexity of theorem-proving procedures

Cited in

(16)

• Probabilistic sentence satisfiability: an approach to PSAT
• Optimization and probabilistic satisfiability on nested and co-nested formulas
• Easy cases of probabilistic satisfiability
• A hybrid method for probabilistic satisfiability
• Mathematical Foundations of Computer Science 2003
• scientific article; zbMATH DE number 69384 (Why is no real title available?)
• Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
• Probability logic and optimization SAT: The PSAT and CPA models
• Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
• Probabilistic satisfiability and coherence checking through integer programming
• Artificial Intelligence and Soft Computing - ICAISC 2004
• GenPSAT
• The satisfiability problem for probabilistic ordered branching programs
• Probabilistic satisfiability
• Probabilistic logic over equations and domain restrictions

Describes a project that uses

Uses Software

• Gurobi

This page was built for publication: Generalized probabilistic satisfiability

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