The Regularization of Small Sub-Constraint Satisfaction Problems

Sven Löffler, Ke Liu 0006, Petra Hofstedt. The Regularization of Small Sub-Constraint Satisfaction Problems. In Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel, editors, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Volume 12057 of Lecture Notes in Computer Science, pages 106-115, Springer, 2019. [doi]

@inproceedings{Loffler0H19,
  title = {The Regularization of Small Sub-Constraint Satisfaction Problems},
  author = {Sven Löffler and Ke Liu 0006 and Petra Hofstedt},
  year = {2019},
  doi = {10.1007/978-3-030-46714-2_8},
  url = {https://doi.org/10.1007/978-3-030-46714-2_8},
  researchr = {https://researchr.org/publication/Loffler0H19},
  cites = {0},
  citedby = {0},
  pages = {106-115},
  booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers},
  editor = {Petra Hofstedt and Salvador Abreu and Ulrich John and Herbert Kuchen and Dietmar Seipel},
  volume = {12057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-46714-2},
}