Carsten Sinz

Identifiers

• name variant Carsten Sinz 0.60 · backfill

Papers (4)

1. Shifting-based Optimizable Linear Relaxations for General Activation Functions cs.LG · 2026 · author #4
2. Encrypted Neural Networks without Overflows cs.CR · 2026 · author #5
3. Unbounded Software Model Checking with Incremental SAT-Solving cs.SC · 2018 · author #3
4. HordeSat: A Massively Parallel Portfolio SAT Solver cs.LO · 2015 · author #3

Mentions

• 2606.20292 #4 · arxiv_oai · confidence 0.70 Carsten Sinz
• 1505.03340 #3 · backfill · confidence 0.70 Carsten Sinz
• 2605.23096 #5 · arxiv_oai · confidence 0.70 Carsten Sinz

Frequent Coauthors

• Philipp Kern 2 shared papers
• Tomas Balyo 2 shared papers
• Alberto Leporati 1 shared papers
• Edoardo Manino 1 shared papers
• Erika \'Abr\'aham 1 shared papers
• L\'aszl\'o Antal 1 shared papers
• Lorenzo Rovida 1 shared papers
• Marko Kleine B\"uning 1 shared papers
• Peter Sanders 1 shared papers
• Samuel Teuber 1 shared papers