Tobias Schubert

	2009
15		Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker: Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
14		Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia: PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523
	2007
13		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Multithreaded SAT Solving. ASP-DAC 2007: 926-931
12		Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert: Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. JSAT 1(3-4): 209-236 (2007)
	2006
11		Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315
	2005
10		Tobias Schubert, Bernd Becker: Lemma Exchange in a Microcontroller Based Parallel SAT Solver. ISVLSI 2005: 142-147
9		Tobias Schubert, Matthew D. T. Lewis, Bernd Becker: PaMira - A Parallel SAT Solver with Knowledge Sharing. MTV 2005: 29-36
8		Tobias Schubert, Bernd Becker: Knowledge Sharing in a Microcontroller based Parallel SAT Solver. PDPTA 2005: 1049-1055
7		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Speedup Techniques Utilized in Modern SAT Solvers. SAT 2005: 437-443
	2004
6		Tobias Schubert, Bernd Becker: Parallel SAT Solving with Microcontrollers. AACC 2004: 59-67
5		Tobias Schubert, Bernd Becker: A Distributed SAT Solver for Microcontroller. ARCS Workshops 2004: 338-347
4		Tobias Schubert, Bernd Becker: PICHAFF2 - A Hierarchical Parallel SAT Solver. MTV 2004: 56-61
3		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Early Conflict Detection Based BCP for SAT Solving. SAT 2004
	2000
2		Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker: Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. EUROMICRO 2000: 1425-
1		Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Specialized Hardware for Implementation of Evolutionary Algorithms. GECCO 2000: 369

Coauthor Index

1	Erika Ábrahám (Erika Ábrahám-Mumm)	[11] [15]
2	Bernd Becker	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15]
3	Nicole Drechsler	[1] [2]
4	Rolf Drechsler	[1] [2]
5	Martin Fränzle	[11] [12]
6	Enrico Giunchiglia	[14]
7	Christian Herde	[11] [12]
8	Natalia Kalinnik	[15]
9	Matthew D. T. Lewis	[3] [7] [9] [13] [14]
10	Elke Mackensen	[1] [2]
11	Paolo Marin	[14]
12	Massimo Narizzano	[14]
13	Stefan Ratschan	[12]
14	Tino Teige	[12]
15	Ralf Wimmer	[15]