Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487679756> ?p ?o ?g. }
- W2487679756 abstract "We hypothesize and confirm that probabilistic reasoning is closely related to constraint satisfaction at a formal level, and that this relationship yields effective algorithms for guiding constraint satisfaction and constraint optimization solvers. By taking a unified view of probabilistic inference and constraint reasoning in terms of graphical models, we first associate a number of formalisms and techniques between the two areas. For instance, we characterize search and inference in constraint reasoning as summation and multiplication (or disjunction and conjunction) in the probabilistic space; necessary but insufficient consistency conditions for solutions to constraint problems (like arc-consistency) mirror approximate objective functions over probability distributions (like the Bethe free energy); and the polytope of feasible points for marginal probabilities represents the linear relaxation of a particular constraint satisfaction problem. While such insights synthesize an assortment of existing formalisms from varied research communities, they also yield an entirely novel set of “bias estimation” techniques that contribute to a growing body of research on applying probabilistic methods to constraint problems. In practical terms, these techniques estimate the percentage of solutions to a constraint satisfaction or optimization problem wherein a given variable is assigned a given value. By devising search methods that incorporate such information as heuristic guidance for variable and value ordering, we are able to outperform existing solvers on problems of interest from constraint satisfaction and constraint optimization-as represented here by the SAT and MaxSAT problems. Further, for MaxSAT we present an equivalent transformation” process that normalizes the weights in constraint optimization problems, in order to encourage prunings of the search tree during branch-and-bound search. To control such computationally expensive processes, we determine promising situations for using them throughout the course of an individual search process. We accomplish this using a reinforcement learning-based control module that seeks a principled balance between the exploration of new strategies and the exploitation of existing experiences." @default.
- W2487679756 created "2016-08-23" @default.
- W2487679756 creator A5021351881 @default.
- W2487679756 date "2011-01-01" @default.
- W2487679756 modified "2023-09-27" @default.
- W2487679756 title "Integrating probabilistic reasoning with constraint satisfaction" @default.
- W2487679756 cites W103975088 @default.
- W2487679756 cites W104186012 @default.
- W2487679756 cites W119554023 @default.
- W2487679756 cites W132900507 @default.
- W2487679756 cites W1480311453 @default.
- W2487679756 cites W1494720687 @default.
- W2487679756 cites W1502989543 @default.
- W2487679756 cites W1511924922 @default.
- W2487679756 cites W1516111018 @default.
- W2487679756 cites W1517453125 @default.
- W2487679756 cites W1518885151 @default.
- W2487679756 cites W1521104898 @default.
- W2487679756 cites W1526749820 @default.
- W2487679756 cites W1529072446 @default.
- W2487679756 cites W1529851759 @default.
- W2487679756 cites W1530042113 @default.
- W2487679756 cites W1534832769 @default.
- W2487679756 cites W153733639 @default.
- W2487679756 cites W1549353496 @default.
- W2487679756 cites W1559927413 @default.
- W2487679756 cites W1562372552 @default.
- W2487679756 cites W1567600461 @default.
- W2487679756 cites W1567870026 @default.
- W2487679756 cites W1567885833 @default.
- W2487679756 cites W1567971647 @default.
- W2487679756 cites W1586919270 @default.
- W2487679756 cites W1591939288 @default.
- W2487679756 cites W1604493171 @default.
- W2487679756 cites W1640763397 @default.
- W2487679756 cites W1650993530 @default.
- W2487679756 cites W1709155369 @default.
- W2487679756 cites W171047522 @default.
- W2487679756 cites W1748004346 @default.
- W2487679756 cites W1898297283 @default.
- W2487679756 cites W1927829657 @default.
- W2487679756 cites W1968330053 @default.
- W2487679756 cites W1978732816 @default.
- W2487679756 cites W1982333717 @default.
- W2487679756 cites W1985123706 @default.
- W2487679756 cites W1988443389 @default.
- W2487679756 cites W2002722727 @default.
- W2487679756 cites W2004660767 @default.
- W2487679756 cites W2007321142 @default.
- W2487679756 cites W2007995670 @default.
- W2487679756 cites W2008310023 @default.
- W2487679756 cites W2009683816 @default.
- W2487679756 cites W2019599312 @default.
- W2487679756 cites W2020294948 @default.
- W2487679756 cites W2020999234 @default.
- W2487679756 cites W2026129786 @default.
- W2487679756 cites W2029634712 @default.
- W2487679756 cites W2036265926 @default.
- W2487679756 cites W2043829066 @default.
- W2487679756 cites W2049633694 @default.
- W2487679756 cites W2054743378 @default.
- W2487679756 cites W2057361103 @default.
- W2487679756 cites W2059372025 @default.
- W2487679756 cites W2062818807 @default.
- W2487679756 cites W2075423090 @default.
- W2487679756 cites W2075567596 @default.
- W2487679756 cites W2084041193 @default.
- W2487679756 cites W2085138324 @default.
- W2487679756 cites W2087393302 @default.
- W2487679756 cites W2090835983 @default.
- W2487679756 cites W2095709533 @default.
- W2487679756 cites W2106904642 @default.
- W2487679756 cites W2118943303 @default.
- W2487679756 cites W2119190805 @default.
- W2487679756 cites W2120340025 @default.
- W2487679756 cites W2121766240 @default.
- W2487679756 cites W2121863487 @default.
- W2487679756 cites W2128272523 @default.
- W2487679756 cites W213453915 @default.
- W2487679756 cites W2135094946 @default.
- W2487679756 cites W2135194391 @default.
- W2487679756 cites W2135764410 @default.
- W2487679756 cites W2139937532 @default.
- W2487679756 cites W2142511915 @default.
- W2487679756 cites W2142712680 @default.
- W2487679756 cites W2144414892 @default.
- W2487679756 cites W2150675045 @default.
- W2487679756 cites W2151720296 @default.
- W2487679756 cites W2153435620 @default.
- W2487679756 cites W2154055561 @default.
- W2487679756 cites W2164279585 @default.
- W2487679756 cites W2169415915 @default.
- W2487679756 cites W2171265988 @default.
- W2487679756 cites W2280686162 @default.
- W2487679756 cites W2337098149 @default.
- W2487679756 cites W2401471087 @default.
- W2487679756 cites W2567948266 @default.
- W2487679756 cites W2621271919 @default.
- W2487679756 cites W2797003952 @default.
- W2487679756 cites W2912526555 @default.