Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator

Johannes Werner, Tomás Balyo, Markus Iser, Michael Klein. Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator. In Michel Aldanondo, Andreas A. Falkner, Alexander Felfernig, Martin Stettinger, editors, Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), Vienna, Austria, 16-17 September, 2021. Volume 2945 of CEUR Workshop Proceedings, pages 24-32, CEUR-WS.org, 2021. [doi]

@inproceedings{WernerBIK21,
  title = {Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator},
  author = {Johannes Werner and Tomás Balyo and Markus Iser and Michael Klein},
  year = {2021},
  url = {http://ceur-ws.org/Vol-2945/23-JW-ConfWS21_paper_15.pdf},
  researchr = {https://researchr.org/publication/WernerBIK21},
  cites = {0},
  citedby = {0},
  pages = {24-32},
  booktitle = {Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), Vienna, Austria, 16-17 September, 2021},
  editor = {Michel Aldanondo and Andreas A. Falkner and Alexander Felfernig and Martin Stettinger},
  volume = {2945},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}