Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination
Keyword(s):
2005 ◽
Vol 24
(2)
◽
pp. 295-304
◽
2010 ◽
Vol 29
(5)
◽
pp. 844-848
◽
Keyword(s):
Keyword(s):
2004 ◽
Vol 51
(11)
◽
pp. 2215-2221
◽
2008 ◽
Vol 27
(2)
◽
pp. 217-229
◽
Keyword(s):