BibTeX record conf/ccia/AnsoteguiBL23

• > Home > conf/ccia/AnsoteguiBL23

@inproceedings{DBLP:conf/ccia/AnsoteguiBL23,
  author       = {Carlos Ans{\'{o}}tegui and
                  Maria Luisa Bonet and
                  Jordi Levy},
  editor       = {Ismael Sanz and
                  Raquel Ros and
                  Jordi Nin},
  title        = {On the Density of States of Boolean Formulas},
  booktitle    = {Artificial Intelligence Research and Development - Proceedings of
                  the 25th International Conference of the Catalan Association for Artificial
                  Intelligence, {CCIA} 2023, M{\'{o}}n Sant Benet, Spain, 25-27
                  October 2023},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {375},
  pages        = {369--382},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230707},
  doi          = {10.3233/FAIA230707},
  timestamp    = {Sun, 17 Dec 2023 20:56:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/AnsoteguiBL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}