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

Pablo Manrique

  1. LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean
    2026/07/30 by Pablo Manrique, Stefan Szeider
    Computer Science · #cs.AI #cs.LO