cvb.authors: Alessandro Bertagnon,Marco Gavanelli
cvb.fail: null
cvb.id: Vol-3883/paper2_RCRA7
cvb.pages: null
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: paper2_RCRA7.pdf
cvb.position: null
cvb.title: Stronger integration of circuit and alldifferent propagators for the Hamiltonian
  Cycle Problem
cvb.type: null
cvb.vol_number: '3883'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/15/5240
  gnd_id: null
  label: Marco Gavanelli
  orcid_id: 0000-0001-7433-5899
  wikidata_id: Q62056510
- dblp_author_id: https://dblp.org/pid/266/5613
  gnd_id: null
  label: Alessandro Bertagnon
  orcid_id: null
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/rcra/2024
dblp.dblp_publication_id: https://dblp.org/rec/conf/rcra/BertagnonG24
dblp.pdf_id: Vol-3883/paper2_RCRA7
dblp.title: Stronger integration of circuit and alldifferent propagators for the Hamiltonian
  Cycle Problem.
dblp.volume_number: 3883
spt.description: null
spt.html_url: /Vol-3883/paper2_RCRA7.html
spt.id: Vol-3883/paper2_RCRA7
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-3883/paper2_RCRA7.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Stronger integration of circuit and alldifferent propagators for the Hamiltonian
  Cycle Problem
spt.volume:
  acronym: AI4CC-IPS-RCRA-SPIRIT 2024
  date: '2024-12-24'
  dblp: null
  description: Proceedings of AI4CC-IPS-RCRA-SPIRIT 2024 workshop
  k10plus: null
  number: 3883
  title: Proceedings of the International Workshop on Artificial Intelligence for
    Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on
    Experimental evaluation of algorithms for solving problems with combinatorial
    explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning
    in Italy (AI4CC-IPS-RCRA-SPIRIT 2024)
  url: http://ceur-ws.org/Vol-3883/
  urn: urn:nbn:de:0074-3883-1
  wikidataid: Q131677329
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
