BibTeX record conf/isaim/AnsoteguiBFM08

download as .bib file

@inproceedings{DBLP:conf/isaim/AnsoteguiBFM08,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {Hard {SAT} and {CSP} instances with Expander Graphs},
  booktitle = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/isaim/2008},
  url       = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0005\_a18638b99d87fa2805c7db3d4d3c8b9d.pdf},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/AnsoteguiBFM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaim/2008,
  title     = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year      = {2008},
  url       = {http://isaim2008.unl.edu/index.php?page=proceedings},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics