Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
DOI10.1007/S10472-015-9466-6zbMATH Open1347.68331OpenAlexW2212155158WikidataQ117021971 ScholiaQ117021971MaRDI QIDQ905995FDOQ905995
Authors: Marcelo Finger, Glauber De Bona 
Publication date: 28 January 2016
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-015-9466-6
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)
Cites Work
- Theory and Applications of Satisfiability Testing
- Title not available (Why is that?)
- Stochastic independence in a coherent setting
- Probabilistic logic
- A linear programming approach to reasoning about probabilities
- Merging the local and global approaches to probabilistic satisfiability
- Title not available (Why is that?)
- Lazy satisfiability modulo theories
- Inequalities. A journey into linear analysis
- Column Generation Methods for Probabilistic Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- A hybrid method for probabilistic satisfiability
- The complexity of theorem-proving procedures
- Title not available (Why is that?)
- A linear-time transformation of linear inequalities into conjunctive normal form
- Title not available (Why is that?)
- Classical recursion theory. The theory of functions and sets of natural numbers
- Probabilistic satisfiability with imprecise probabilities
- The many facets of linear programming
- Direct algorithms for checking consistency and making inferences from conditional probability assessments
- Exploiting Cycle Structures in Max-SAT
- Title not available (Why is that?)
- Probability logic
- Algorithms for the maximum satisfiability problem
- The consistency of the CADIAG-2 knowledge base: a probabilistic approach
- Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
- Simplification rules for the coherent probability assessment problem
- Probabilistic satisfiability
- Probability logic and optimization SAT: The PSAT and CPA models
- Easy cases of probabilistic satisfiability
- Probabilistic satisfiability
- Solutions for hard and soft constraints using optimized probabilistic satisfiability
- Probabilistic satisfiability and coherence checking through integer programming
- Probabilistic logic revisited
- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
Cited In (9)
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
- Phase transitions and complexity in computer science: An overview of the statistical physics approach to the random satisfiability problem
- Quantitative logic reasoning
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
- Probabilistic sentence satisfiability: an approach to PSAT
- Phase transitions of EXPSPACE-complete problems
- Phase transitions of PP-complete satisfiability problems
- Generalized probabilistic satisfiability
- Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
Uses Software
This page was built for publication: Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q905995)
