vix.ing · top · new · best · stats · spec

Czerner, Philipp

  1. Fast and Succinct Population Protocols for Presburger Arithmetic
    2022/02/23 by Czerner, Philipp, Guttenberg, Roland, Helfrich, Martin +1 · 2 citations
    #Distributed #F.1.1 #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
  2. A Resolution-Based Interactive Proof System for UNSAT
    2024/01/26 by Czerner, Philipp, Esparza, Javier, Krasotin, Valentin +1 · 1 citation
    #F.1.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)