Maxwell Levatich
AuthID: R-00J-Y9B
1
TÃTULO: Supercharging Plant Configurations Using Z3
AUTORES: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLICAÇÃO: 2021, FONTE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
AUTORES: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLICAÇÃO: 2021, FONTE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
INDEXADO EM: DBLP