{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-3883/paper2_RCRA7.html","spt.description":null,"spt.id":"Vol-3883/paper2_RCRA7","spt.wikidataid":null,"spt.title":"Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem","spt.pdfUrl":"https://ceur-ws.org/Vol-3883/paper2_RCRA7.pdf","spt.volume":{"number":3883,"acronym":"AI4CC-IPS-RCRA-SPIRIT 2024","wikidataid":"Q131677329","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)","description":"Proceedings of AI4CC-IPS-RCRA-SPIRIT 2024 workshop","url":"http://ceur-ws.org/Vol-3883/","date":"2024-12-24","dblp":null,"k10plus":null,"urn":"urn:nbn:de:0074-3883-1"},"spt.session":null,"cvb.id":"Vol-3883/paper2_RCRA7","cvb.title":"Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Alessandro Bertagnon,Marco Gavanelli","cvb.vol_number":"3883","cvb.pdf_name":"paper2_RCRA7.pdf","cvb.pages":null,"cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/rcra/BertagnonG24","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/rcra/2024","dblp.volume_number":3883,"dblp.title":"Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/15/5240","label":"Marco Gavanelli","wikidata_id":"Q62056510","orcid_id":"0000-0001-7433-5899","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/266/5613","label":"Alessandro Bertagnon","wikidata_id":null,"orcid_id":null,"gnd_id":null}],"dblp.pdf_id":"Vol-3883/paper2_RCRA7"}