Lukas Kroc

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Cross Sectional

Rapid Development

Top Venues

Publications

Sunil Thulasidasan, Lukas Kroc, Stephan J. Eidenbenz
Developing parallel, discrete event simulations in Python - first results and user experiences with the SimX library. SIMULTECH (2014)
Sunil Thulasidasan, Lukas Kroc, Stephan J. Eidenbenz
SimCore: A Library for Rapid Development of Large Scale Parallel Simulations. SIMULTECH (2012)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Survey Propagation Revisited CoRR (2012)
Vladimir Delengov, Yuan Li, Jennifer Thompson, Lukas Kroc, Nandakishore Santhi, Stephan J. Eidenbenz
Optimization principles for arithmetic functions in hardware-software co-design. WSC (2012)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Leveraging belief propagation, backtrack search, and statistics for model counting. Ann. Oper. Res. 184 (1) (2011)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Approximate Inference for Clusters in Solution Spaces. Abstraction, Reformulation, and Approximation (2010)
Lukas Kroc, Ashish Sabharwal, Bart Selman
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. SAT (2010)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Relaxed DPLL Search for MaxSAT. SAT (2009)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Message-passing and local heuristics as decimation strategies for satisfiability. SAC (2009)
Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI (2009)
Lukas Kroc, Stephan J. Eidenbenz, James P. Smith
SessionSim: Activity-Based Session Generation for Network Simulation. WSC (2009)
Lukas Kroc, Bart Selman, Ashish Sabharwal
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. ISAIM (2008)
Lukas Kroc, Michael Chertkov
Loop Calculus for Satisfiability. AAAI (2008)
Michael Chertkov, Lukas Kroc, Massimo Vergassola
Belief Propagation and Beyond for Particle Tracking CoRR (2008)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. CPAIOR (2008)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. NIPS (2008)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Survey Propagation Revisited. UAI (2007)
Roman Waupotitsch, Stephan J. Eidenbenz, James P. Smith, Lukas Kroc
Multi-scale integrated information and telecommunications system (MIITS): first results from a large-scale end-to-end network simulator. WSC (2006)
Christopher L. Barrett, Stephan J. Eidenbenz, Lukas Kroc, Madhav V. Marathe, James P. Smith
Probabilistic multi-path vs. deterministic single-path protocols for dynamic ad-hoc network scenarios. SAC (2005)
Stephan J. Eidenbenz, Lukas Kroc, James P. Smith
Maneuverable Relays to Improve Energy Efficiency in Sensor Networks. PerCom Workshops (2005)
Christopher L. Barrett, Stephan J. Eidenbenz, Lukas Kroc, Madhav V. Marathe, James P. Smith
Parametric Probabilistic Routing in Sensor Networks. Mob. Networks Appl. 10 (4) (2005)
Christopher L. Barrett, Stephan J. Eidenbenz, Lukas Kroc, Madhav V. Marathe, James P. Smith
Parametric probabilistic sensor network routing. Wireless Sensor Networks and Applications (2003)