{"id":"1912.01032","title":"FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints","url":"https://codeofpaper.com/paper/1912.01032","arxiv_url":"https://arxiv.org/abs/1912.01032","published":"2019-12-02","code":"official","best":{"full_name":"vardigroup/FourierSAT","url":"https://github.com/vardigroup/FourierSAT","tier":"official","stars":12,"license":"MIT","framework":null,"language":"Python","last_commit":"2024-09-18T21:33:48"},"most_starred_community":null,"implementations":[{"full_name":"vardigroup/FourierSAT","url":"https://github.com/vardigroup/FourierSAT","tier":"official","stars":12,"license":"MIT","framework":null,"language":"Python","last_commit":"2024-09-18T21:33:48"}],"possible_matches":0}