Tobias Schmidt-Samoa

From MaRDI portal

Person:2852037

Jump to:navigation, search

Available identifiers

zbMath Open schmidt-samoa.tobiasMaRDI QIDQ2852037

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
An even closer integration of linear arithmetic into inductive theorem proving	2013-10-07	Paper
Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous	2009-11-30	Paper

Research outcomes over time

This page was built for person: Tobias Schmidt-Samoa

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2852037&oldid=7867550"