Lukas Kroc

	2009
12		Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman: Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI 2009: 544-551
11		Lukas Kroc, Ashish Sabharwal, Bart Selman: Message-passing and local heuristics as decimation strategies for satisfiability. SAC 2009: 1408-1414
10		Lukas Kroc, Ashish Sabharwal, Bart Selman: Relaxed DPLL Search for MaxSAT. SAT 2009: 447-452
	2008
9		Lukas Kroc, Michael Chertkov: Loop Calculus for Satisfiability. AAAI 2008: 1810-1811
8		Lukas Kroc, Ashish Sabharwal, Bart Selman: Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. CPAIOR 2008: 127-141
7		Lukas Kroc, Ashish Sabharwal, Bart Selman: Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. NIPS 2008: 873-880
6		Michael Chertkov, Lukas Kroc, Massimo Vergassola: Belief Propagation and Beyond for Particle Tracking CoRR abs/0806.1199: (2008)
	2006
5		Roman Waupotitsch, Stephan 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. Winter Simulation Conference 2006: 2132-2139
	2005
4		Stephan Eidenbenz, Lukas Kroc, James P. Smith: Maneuverable Relays to Improve Energy Efficiency in Sensor Networks. PerCom Workshops 2005: 411-417
3		Christopher L. Barrett, Stephan 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: 1166-1173
2		Christopher L. Barrett, Stephan Eidenbenz, Lukas Kroc, Madhav V. Marathe, James P. Smith: Parametric Probabilistic Routing in Sensor Networks. MONET 10(4): 529-544 (2005)
	2003
1		Christopher L. Barrett, Stephan Eidenbenz, Lukas Kroc, Madhav V. Marathe, James P. Smith: Parametric probabilistic sensor network routing. Wireless Sensor Networks and Applications 2003: 122-131

Coauthor Index

1	Christopher L. Barrett	[1] [2] [3]
2	Michael Chertkov	[6] [9]
3	Stephan Eidenbenz	[1] [2] [3] [4] [5]
4	Carla P. Gomes	[12]
5	Madhav V. Marathe	[1] [2] [3]
6	Ashish Sabharwal	[7] [8] [10] [11] [12]
7	Bart Selman	[7] [8] [10] [11] [12]
8	James P. Smith	[1] [2] [3] [4] [5]
9	Massimo Vergassola	[6]
10	Roman Waupotitsch	[5]

Colors in the list of coauthors