Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University May 23, 2008
Add to Reading List
Document Date: 2009-02-12 00:13:50
Open Document
File Size: 1,39 MB
Share Result on Facebook
Facility
Bart Selman Cornell University /
/
IndustryTerm
logic networks /
search solvers /
local search /
huge search spaces /
sample using local search /
/
Organization
Cornell University /
/
Person
Ashish Sabharwal /
Lukas Kroc /
/
Position
Model /
/
SocialTag
Complexity classes
Boolean algebra
Constraint programming
Mathematical optimization
Boolean satisfiability problem
Constraint satisfaction problem
NP-complete
Belief propagation
NP
Theoretical computer science
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University May 23, 2008