j-danner/2xnf_sat_solving

Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

Size: 60 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 5 - Forks: 0