Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming