Design Space Exploration via Answer Set Programming Modulo Theories

Open in new window