MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Tobias Schubert" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Specialized hardware for implementation of Evolutionary Algorithms
by Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker — 2000
…Specialized Hardware for Implementation of Evolutionary Algorithms Tobias Schubert Elke Mackensen…
Cited by 1 (1 self) – Add To MetaCart

Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure
by Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert — 2007 — Journal on Satisfiability, Boolean Modeling and Computation
… Schubert schubert@(email omitted); Faculty of Applied Sciences, Albert…
Cited by 2 (0 self) – Add To MetaCart

Early Conflict Detection Based BCP for SAT Solving
by Matthew D. T. Lewis, Tobias Schubert, Bernd W. Becker — 2004 — The International Conference on Theory and Applications of Satisfiability Testing
…Early Conflict Detection Based BCP for SAT Solving Matthew D. T. Lewis, Tobias Schubert, and Bernd…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB