Efficient solving of large arithmetic constraint systems with complex Boolean structureChristian HerdeAgotado4,3Notifícame
