( en | de | ru )

 

Disambiguation of "Kroc, Lukas"

Author of the publication

copydeleteadd this publication to your clipboard
Message-passing and local heuristics as decimation strategies for satisfiability.

, , and . SAC, page 1408-1414. ACM, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jürgen Krochmann

Ottomar Kröckel

Martin Krockow

Ilse Krockow

Gerhardt Krockert

 

Other publications of authors with the same name

Survey Propagation Revisited, , and . CoRR, (2012)Message-passing and local heuristics as decimation strategies for satisfiability., , and . SAC, page 1408-1414. ACM, (2009)SessionSim: Activity-Based Session Generation for Network Simulation., , and . WSC, page 3169-3180. IEEE, (2009)Approximate Inference for Clusters in Solution Spaces., , and . Abstraction, Reformulation, and Approximation, volume WS-10-08 of AAAI Technical Report, AAAI, (2010)SimCore: A Library for Rapid Development of Large Scale Parallel Simulations., , and . SIMULTECH, page 71-76. SciTePress, (2012)Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting., , and . ISAIM, (2008)Parametric Probabilistic Routing in Sensor Networks., , , , and . Mob. Networks Appl., 10 (4): 529-544 (2005)Parametric probabilistic sensor network routing., , , , and . Wireless Sensor Networks and Applications, page 122-131. ACM, (2003)Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT., , , and . IJCAI, page 544-551. (2009)Multi-scale integrated information and telecommunications system (MIITS): first results from a large-scale end-to-end network simulator., , , and . WSC, page 2132-2139. IEEE Computer Society, (2006)