cvb.acronym: RCRA-2010
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-616.zip
cvb.ceurpubdate: null
cvb.city: Bologna
cvb.cityWikidataId: Q1891
cvb.colocated: null
cvb.country: Italy
cvb.countryWikidataId: Q38
cvb.dateFrom: '2010-06-10'
cvb.dateTo: '2010-06-11'
cvb.desc: '?'
cvb.editors: Marco Gavanelli, Toni Mancini
cvb.fromLine: 75813
cvb.h1: RCRA-2010 Experimental Evaluation of Algorithms for Solving Problems with
  Combinatorial Explosion
cvb.h3: Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms
  for Solving Problems with Combinatorial Explosion
cvb.homepage: http://rcra.aixia.it/rcra2010
cvb.loc_city: Bologna
cvb.loc_country: Italy
cvb.loc_days: null
cvb.loc_locs: null
cvb.loc_month: June
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Bologna, Italy, June 10-11, 2010
cvb.number: 616
cvb.pubDate: '2010-07-22T00:00:00'
cvb.published: '2010-07-22'
cvb.seealso: "Vol-589\u21F9Vol-451"
cvb.submittedBy: Marco Gavanelli, Toni Mancini
cvb.tdtitle: Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms
  for Solving Problems with Combinatorial Explosion (RCRA-2010), Bologna, Italy, June
  10-11, 2010.
cvb.title: Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms
  for Solving Problems with Combinatorial Explosion
cvb.toLine: 75837
cvb.url: http://ceur-ws.org/Vol-616/
cvb.urn: urn:nbn:de:0074-616-4
cvb.urn_check_digit: 4
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial
  Explosion 2010
cvb.voltitle: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial
  Explosion
cvb.volume_number: Vol-616
cvb.year: '2010'
spt.acronym: RCRA-2010
spt.date: '2010-07-22'
spt.dblp: conf/cpaior/2010rcra
spt.description: Proceedings of RCRA-2010 workshop
spt.html_url: /Vol-616.html
spt.k10plus: null
spt.number: 616
spt.title: Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms
  for Solving Problems with Combinatorial Explosion
spt.url: http://ceur-ws.org/Vol-616/
spt.urn: urn:nbn:de:0074-616-4
spt.wikidataid: Q113545489
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-616-4
wd.Volume: null
wd.dblpEventId: ''
wd.dblpProceedingsId: conf/cpaior/2010rcra
wd.described_at_URL: http://ceur-ws.org/Vol-616/
wd.event: http://www.wikidata.org/entity/Q106339736
wd.eventLabel: 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving
  Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11,
  2010
wd.eventSeries: http://www.wikidata.org/entity/Q105700716
wd.eventSeriesLabel: Workshop on Knowledge Representation and Automated Reasoning
wd.eventSeriesOrdinal: '17'
wd.fullWorkUrl: http://ceur-ws.org/Vol-616/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113545489
wd.itemDescription: Proceedings of RCRA-2010 workshop
wd.itemLabel: Proceedings of the 17th RCRA workshop on Experimental Evaluation of
  Algorithms for Solving Problems with Combinatorial Explosion
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2010-07-22T00:00:00'
wd.sVolume: 616
wd.short_name: RCRA-2010
wd.title: Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms
  for Solving Problems with Combinatorial Explosion
