121
Voted
MEMOCODE
2010
IEEE
15 years 21 days ago
2010
IEEE
Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...