Lukas Kroc

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