BibTeX record conf/aisc/LardeuxM14

• > Home > conf/aisc/LardeuxM14

@inproceedings{DBLP:conf/aisc/LardeuxM14,
  author       = {Fr{\'{e}}d{\'{e}}ric Lardeux and
                  {\'{E}}ric Monfroy},
  editor       = {Gonzalo A. Aranda{-}Corral and
                  Jacques Calmet and
                  Francisco J. Mart{\'{\i}}n{-}Mateos},
  title        = {From Declarative Set Constraint Models to "Good" {SAT} Instances},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 12th International
                  Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8884},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13770-4\_8},
  doi          = {10.1007/978-3-319-13770-4\_8},
  timestamp    = {Tue, 23 Feb 2021 09:09:49 +0100},
  biburl       = {https://dblp.org/rec/conf/aisc/LardeuxM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}