Research team designed PBCounter, a weighted model counting solver for pseudo-Boolean formulas. It uses variable elimination and dynamic programming with ADDs, outperforming state-of-the-art CNF-based ...

Dynamic Programming and Optimal Control is offered within DMAVT and attracts in excess of 300 students per year from a wide variety of disciplines. It is an integral part of the Robotics, System and ...