A Geometric Presentation of Probabilistic Satisfiability

Details A Geometric Presentation of Probabilistic Satisfiability A Geometric Presentation of Probabilistic Satisfiability

2010-07-06

arxiv.org/abs/1007.0788v1

Computer Science

Logic in Computer Science

Scientific paper

By considering probability distributions over the set of assignments the expected truth values assignment to propositional variables are extended through linear operators, and the expected truth values of the clauses at any given conjunctive form are also extended through linear maps. The probabilistic satisfiability problems are discussed in terms of the introduced linear extensions. The case of multiple truth values is also discussed.

Affiliated with

Also associated with

No associations

Rating

A Geometric Presentation of Probabilistic Satisfiability does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Geometric Presentation of Probabilistic Satisfiability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Geometric Presentation of Probabilistic Satisfiability will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-215715