Christian Laus

Identifiers

• name variant Christian Laus 0.60 · backfill

Papers (1)

1. On the satisfiability of random regular signed SAT formulas cs.DM · 2011 · author #1

Mentions

• 1112.1360 #1 · backfill · confidence 0.70 Christian Laus

Frequent Coauthors

• Dirk Oliver Theis 1 shared papers