Abstract: Various computational problems can be reduced to computing the marginals and the partition function of a suitably defined standard factor graph (S-FG). The sum-product algorithm (SPA) is an ...
Creative Commons (CC): This is a Creative Commons license. Attribution (BY): Credit must be given to the creator. Article Views are the COUNTER-compliant sum of full text article downloads since ...
Given an input PQE in SMT-LIB format and an optional config file, PolyQEnt finds a valuation of the unknown variables in the input such that all the PQEs are satisfied. PolyQEnt is written in Python ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback