An Ising Model Inspired Extension of the Product-Based MP Framework for SAT.
Oliver GableskePublished in: SAT (2014)
Keyphrases
- conceptual framework
- theoretical framework
- computational model
- probabilistic model
- formal model
- theoretical foundation
- unified model
- parameter estimation
- modeling framework
- closed form
- high level
- statistical model
- mathematical model
- management system
- process model
- supply chain
- similarity measure
- generic model
- social networks