Maxwell Levatich
AuthID: R-00J-Y9B
1
TITLE: Supercharging Plant Configurations Using Z3
AUTHORS: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLISHED: 2021, SOURCE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
AUTHORS: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLISHED: 2021, SOURCE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
INDEXED IN: DBLP