24 citations · 25 across the 3 of their papers we have counts for
1 paper · 1 filter
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its inpu…