Tobias Schubert

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Scaling relation for low energy states in a single-slip model in finite crystal plasticity ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik	2016-04-08	Paper
Incremental Encoding and Solving of Cardinality Constraints Automated Technology for Verification and Analysis	2015-12-17	Paper
Laissez-faire caching for parallel \#SAT solving Lecture Notes in Computer Science	2015-11-20	Paper
Accurate computation of sensitizable paths using answer set programming Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
Incremental preprocessing methods for use in BMC Formal Methods in System Design	2012-09-27	Paper
Parallel SAT solving in bounded model checking Journal Of Logic And Computation	2011-02-02	Paper
scientific article; zbMATH DE number 5620835 (Why is no real title available?)	2009-10-26	Paper
scientific article; zbMATH DE number 5263038 (Why is no real title available?)	2008-04-14	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper

Research outcomes over time

This page was built for person: Tobias Schubert