Kroc, Lukas

4 publications

IJCAI 2009 Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman

NeurIPS 2008 Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation Lukas Kroc, Ashish Sabharwal, Bart Selman

AAAI 2008 Loop Calculus for Satisfiability Lukas Kroc, Michael Chertkov

UAI 2007 Survey Propagation Revisited Lukas Kroc, Ashish Sabharwal, Bart Selman