bibliographer - Tristan Schafer

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories Fadil Kallat Tristan Schafer Anna Vasileva [github]

Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic Jan Winkels Julian Graefenstein Tristan Schäfer David Scholz Jakob Rehof Michael Henke [github]

Library Size: 13G (2 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]