@inproceedings{DBLP:conf/aaai/HoernleKBG22,
  author       = {Nick Hoernle and
                  Rafael{-}Michael Karampatsis and
                  Vaishak Belle and
                  Kobi Gal},
  title        = {MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural
                  Networks},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {5700--5709},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i5.20512},
  doi          = {10.1609/AAAI.V36I5.20512},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HoernleKBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"BJ7KcDXHHzXuBTunJ","bibbaseid":"hoernle-karampatsis-belle-gal-multiplexnettowardsfullysatisfiedlogicalconstraintsinneuralnetworks-2022","author_short":["Hoernle, N.","Karampatsis, R.","Belle, V.","Gal, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nick"],"propositions":[],"lastnames":["Hoernle"],"suffixes":[]},{"firstnames":["Rafael-Michael"],"propositions":[],"lastnames":["Karampatsis"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Kobi"],"propositions":[],"lastnames":["Gal"],"suffixes":[]}],"title":"MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks","booktitle":"Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022","pages":"5700–5709","publisher":"AAAI Press","year":"2022","url":"https://doi.org/10.1609/aaai.v36i5.20512","doi":"10.1609/AAAI.V36I5.20512","timestamp":"Mon, 04 Sep 2023 12:29:24 +0200","biburl":"https://dblp.org/rec/conf/aaai/HoernleKBG22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/HoernleKBG22,\n author = {Nick Hoernle and\n Rafael{-}Michael Karampatsis and\n Vaishak Belle and\n Kobi Gal},\n title = {MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural\n Networks},\n booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}\n 2022, Thirty-Fourth Conference on Innovative Applications of Artificial\n Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances\n in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22\n - March 1, 2022},\n pages = {5700--5709},\n publisher = {{AAAI} Press},\n year = {2022},\n url = {https://doi.org/10.1609/aaai.v36i5.20512},\n doi = {10.1609/AAAI.V36I5.20512},\n timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/HoernleKBG22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hoernle, N.","Karampatsis, R.","Belle, V.","Gal, K."],"key":"DBLP:conf/aaai/HoernleKBG22","id":"DBLP:conf/aaai/HoernleKBG22","bibbaseid":"hoernle-karampatsis-belle-gal-multiplexnettowardsfullysatisfiedlogicalconstraintsinneuralnetworks-2022","role":"author","urls":{"Paper":"https://doi.org/10.1609/aaai.v36i5.20512"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["multiplexnet","towards","fully","satisfied","logical","constraints","neural","networks","hoernle","karampatsis","belle","gal"],"title":"MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks","year":2022}