Cited By
View all- Beame PLiew V(2019)Toward Verifying Nonlinear Integer ArithmeticJournal of the ACM10.1145/331939666:3(1-30)Online publication date: 14-Jun-2019
- Kafle BGange GSchachte PSøndergaard HStuckey P(2017)A Benders Decomposition Approach to Deciding Modular Linear Integer ArithmeticTheory and Applications of Satisfiability Testing – SAT 201710.1007/978-3-319-66263-3_24(380-397)Online publication date: 9-Aug-2017
- Beame PLiew V(2017)Towards Verifying Nonlinear Integer ArithmeticComputer Aided Verification10.1007/978-3-319-63390-9_13(238-258)Online publication date: 13-Jul-2017
- Show More Cited By