André Schidler

1. A SAT Approach to Twin-Width
   2021/10/12 by André Schidler, Stefan Szeider, Schidler, André +1 · 1 citation
   Computer Science · #Combinatorics (math.CO) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #VLSI and Analog Circuit Testing #semigroups and automata theory