Efficient solving of large arithmetic constraint systems with complex Boolean structureChristian HerdeÉpuisé4,3Prévenez-moi
