Efficient solving of large arithmetic constraint systems with complex Boolean structureChristian HerdeEsaurito4,3Avvisami
