BibTeX record conf/ccia/AnsoteguiBLM07

download as .bib file

@inproceedings{DBLP:conf/ccia/AnsoteguiBLM07,
  author    = {Carlos Ans{\'{o}}tegui and
               Maria Luisa Bonet and
               Jordi Levy and
               Felip Many{\`{a}}},
  title     = {What Is a Real-World {SAT} Instance?},
  booktitle = {Artificial Intelligence Research and Development, Proceedings of the
               10th International Conference of the ACIA, {CCIA} 2007, October 25-26,
               2007, Sant Juli{\`{a}} de L{\`{o}}ria, Andorra},
  pages     = {19--28},
  year      = {2007},
  crossref  = {DBLP:conf/ccia/2007},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=7644},
  timestamp = {Wed, 14 Mar 2012 14:48:21 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ccia/AnsoteguiBLM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ccia/2007,
  editor    = {Cecilio Angulo and
               Lluis Godo},
  title     = {Artificial Intelligence Research and Development, Proceedings of the
               10th International Conference of the ACIA, {CCIA} 2007, October 25-26,
               2007, Sant Juli{\`{a}} de L{\`{o}}ria, Andorra},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {163},
  publisher = {{IOS} Press},
  year      = {2007},
  isbn      = {978-1-58603-798-7},
  timestamp = {Fri, 13 Feb 2009 14:03:46 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ccia/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}