vix.ing · top · new · best · stats

Madalina Erascu

  1. When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study
    2026/07/02 by Madalina Erascu, Johannes Middeke · 1 voice
    Computer Science · #cs.SC #cs.DM #cs.LO
  2. Automatic Generation of Polynomial Symmetry Breaking Constraints
    2026/02/09 by Madalina Erascu, Johannes Middeke · 1 voice · 1 citation
    Computer Science · #cs.AI #cs.LO #cs.SC