Searching for authors named "Lukas Kroc" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation
- …Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation Lukas Kroc Ashish…
- Add To MetaCart
-
Leveraging belief propagation, backtrack search, and statistics for model counting
- …Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc…
- Cited by 4 (4 self) – Add To MetaCart
-
Survey Propagation Revisited
- …Survey Propagation Revisited Lukas Kroc Ashish Sabharwal Bart Selman Department of Computer…
- Cited by 2 (2 self) – Add To MetaCart
-
Why the Tutorial? Combinatorial Problems
- … for Combinatorial Problems Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University AAAI-08 Tutorial July 13…
- Add To MetaCart
-
Message-Passing and Local Heuristics as Decimation Strategies for Satisfiability
- …Message-Passing and Local Heuristics as Decimation Strategies for Satisfiability Lukas Kroc Ashish…
- Add To MetaCart
-
Combinatorial Reasoning, Logic,
- …Satisfied by Message Passing: Probabilistic Techniques for Combinatorial Problems Lukas Kroc…
- Add To MetaCart
-
Annals of Operations Research manuscript No. (will be inserted by the editor) Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
- … Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc · Ashish Sabharwal · Bart Selman…
- Add To MetaCart
-
CS 683: Advanced Design and Analysis of Algorithms
- …CS 683: Advanced Design and Analysis of Algorithms February 13, 2008 Lecturer: Lukas Kroc Scribes…
- Add To MetaCart
Showing 1 through 8.
