Login / Signup
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.
Miriam Backens
Andrei Bulatov
Leslie Ann Goldberg
Colin McQuillan
Stanislav Zivný
Published in:
J. Comput. Syst. Sci. (2020)
Keyphrases
</>
constraint satisfaction problems
real valued
constraint propagation
decision diagrams
constraint satisfaction
constraint networks
real valued data
boolean functions
magnetic field
objective function
arc consistency