Stem clever$ (all stems)

2 papers:

LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics #worst-case

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.

CAV-2001-MoondanosSHK #divide and conquer #equivalence #logic #named #verification

CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination (JM, CJHS, ZH, DK), pp. 131–143.