Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions

@InProceedings{BueningKernSinz2020,
  author    = {Marko Kleine B{\"{u}}ning and
               Philipp Kern and
               Carsten Sinz},
  editor    = {Helmut Simonis},
  title     = {Verifying Equivalence Properties of Neural Networks with
               {ReLU} Activation Functions},
  booktitle = {26th International Conference on Principles and Practice
               of Constraint Programming ({CP} 2020)},
  venue     = {Louvain-la-Neuve, Belgium},
  eventdate = {2020-09-07/2020-09-11},
  series    = {Lecture Notes in Computer Science},
  volume    = {12333},
  pages     = {868--884},
  publisher = {Springer},
  year      = {2020},
  month     = sep,
  doi       = {10.1007/978-3-030-58475-7\_50}
}