Home /Research /Solving linear optimization over arithmetic constraint formula
OTHER

Solving linear optimization over arithmetic constraint formula

Li Chen, Yinrun Lyu, Chong Wang, Jingzheng Wu, Changyou Zhang, Nasro Min‐Allah, Jamal Alhiyafi, Yongji Wang

Year
2017
Citations
4

Keywords

MathematicsPruningBacktrackingModuloMathematical optimizationLinear programmingConstraint programmingAlgorithmDiscrete mathematics

Related papers

Browse all OTHER papers