Nawrocki, Wojciech
- Formal Verification of the Empty Hexagon Number
2024/03/26 by Bernardo Subercaseaux, Subercaseaux, Bernardo, Wojciech J. Nawrocki +9 · 3 citations
Computer Science · #Computational Geometry (cs.CG) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Polynomial and algebraic computation