Sciweavers

SAC
2009
ACM

Message-passing and local heuristics as decimation strategies for satisfiability

14 years 6 months ago
Message-passing and local heuristics as decimation strategies for satisfiability
Lukas Kroc, Ashish Sabharwal, Bart Selman
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where SAC
Authors Lukas Kroc, Ashish Sabharwal, Bart Selman
Comments (0)