Login / Signup

Constraints on counterexamples to the Casas-Alvero conjecture and a verification in degree 12.

Wouter CastryckRobert LaterveerMyriam Ounaïes
Published in: Math. Comput. (2014)
Keyphrases
  • model checking
  • constraint satisfaction
  • signature verification
  • search algorithm
  • constrained optimization
  • mixed integer
  • linear constraints
  • soft constraints
  • asynchronous circuits
  • multiple constraints
  • low degree