Tobias Schubert

From MaRDI portal
Person:453487

Available identifiers

zbMath Open schubert.tobiasMaRDI QIDQ453487

List of research outcomes





PublicationDate of PublicationType
Scaling relation for low energy states in a single-slip model in finite crystal plasticity2016-04-08Paper
Incremental Encoding and Solving of Cardinality Constraints2015-12-17Paper
Laissez-Faire Caching for Parallel #SAT Solving2015-11-20Paper
Accurate Computation of Sensitizable Paths Using Answer Set Programming2013-10-10Paper
Incremental preprocessing methods for use in BMC2012-09-27Paper
Parallel SAT Solving in Bounded Model Checking2011-02-02Paper
https://portal.mardi4nfdi.de/entity/Q36397542009-10-26Paper
https://portal.mardi4nfdi.de/entity/Q54572772008-04-14Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper

Research outcomes over time

This page was built for person: Tobias Schubert

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:453487&oldid=6954222"
Powered by MediaWiki