Implementation of Tetris as a Model Counter

Jimmy Dobler, Atri Rudra

Solving SharpSAT problems is an important area of work. In this paper, we discuss implementing Tetris, an algorithm originally designed for handling natural joins, as an exact mode…