Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/cp/cp2019.bht:"
@inproceedings{DBLP:conf/cp/AkgunDMSS19, author = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and Nguyen Dang and Ian Miguel and Andr{\'{a}}s Z. Salamon and Christopher Stone}, editor = {Thomas Schiex and Simon de Givry}, title = {Instance Generation via Generator Instances}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {3--19}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_1}, doi = {10.1007/978-3-030-30048-7\_1}, timestamp = {Mon, 24 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AkgunDMSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AkshayBCSV19, author = {S. Akshay and Sukanya Basu and Supratik Chakraborty and Rangapriya Sundararajan and Prasanna Venkatraman}, editor = {Thomas Schiex and Simon de Givry}, title = {Functional Significance Checking in Noisy Gene Regulatory Networks}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {767--785}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_44}, doi = {10.1007/978-3-030-30048-7\_44}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AkshayBCSV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Al-KurdiPGL19, author = {Nadeem Al{-}Kurdi and Benjamin Pillot and Carmen Gervet and Laurent Linguet}, editor = {Thomas Schiex and Simon de Givry}, title = {Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: {A} {GIS-RO} Approach}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {729--747}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_42}, doi = {10.1007/978-3-030-30048-7\_42}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Al-KurdiPGL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AnsoteguiBCDEMN19, author = {Carlos Ans{\'{o}}tegui and Miquel Bofill and Jordi Coll and Nguyen Dang and Juan Luis Esteban and Ian Miguel and Peter Nightingale and Andr{\'{a}}s Z. Salamon and Josep Suy and Mateu Villaret}, editor = {Thomas Schiex and Simon de Givry}, title = {Automatic Detection of At-Most-One and Exactly-One Relations for Improved {SAT} Encodings of Pseudo-Boolean Constraints}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {20--36}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_2}, doi = {10.1007/978-3-030-30048-7\_2}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBCDEMN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AogaNS19, author = {John O. R. Aoga and Siegfried Nijssen and Pierre Schaus}, editor = {Thomas Schiex and Simon de Givry}, title = {Modeling Pattern Set Mining Using Boolean Circuits}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {621--638}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_36}, doi = {10.1007/978-3-030-30048-7\_36}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AogaNS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BettsDGHKSW19, author = {John M. Betts and David L. Dowe and Daniel Guimarans and Daniel Damir Harabor and Heshan Kumarage and Peter J. Stuckey and Michael Wybrow}, editor = {Thomas Schiex and Simon de Givry}, title = {Peak-Hour Rail Demand Shifting with Discrete Optimisation}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {748--763}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_43}, doi = {10.1007/978-3-030-30048-7\_43}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/BettsDGHKSW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BiancoLT19, author = {Giovanni Lo Bianco and Xavier Lorca and Charlotte Truchet}, editor = {Thomas Schiex and Simon de Givry}, title = {Estimating the Number of Solutions of Cardinality Constraints Through {\textbackslash}texttt range and {\textbackslash}texttt roots Decompositions}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {317--332}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_19}, doi = {10.1007/978-3-030-30048-7\_19}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/BiancoLT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BjordalFPS19, author = {Gustav Bj{\"{o}}rdal and Pierre Flener and Justin Pearson and Peter J. Stuckey}, editor = {Thomas Schiex and Simon de Givry}, title = {Exploring Declarative Local-Search Neighbourhoods with Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {37--53}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_3}, doi = {10.1007/978-3-030-30048-7\_3}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BjordalFPS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/CanoyG19, author = {Rocsildes Canoy and Tias Guns}, editor = {Thomas Schiex and Simon de Givry}, title = {Vehicle Routing by Learning from Historical Solutions}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {54--70}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_4}, doi = {10.1007/978-3-030-30048-7\_4}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/CanoyG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChakrabortySV19, author = {Supratik Chakraborty and Aditya A. Shrotri and Moshe Y. Vardi}, editor = {Thomas Schiex and Simon de Givry}, title = {On Symbolic Approaches for Computing the Matrix Permanent}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {71--90}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_5}, doi = {10.1007/978-3-030-30048-7\_5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChakrabortySV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChenJ19, author = {Li{-}Cheng Chen and Jie{-}Hong R. Jiang}, editor = {Thomas Schiex and Simon de Givry}, title = {A Cube Distribution Approach to {QBF} Solving and Certificate Minimization}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {529--546}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_31}, doi = {10.1007/978-3-030-30048-7\_31}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChenJ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/CherifH19, author = {Mohamed Sami Cherif and Djamal Habet}, editor = {Thomas Schiex and Simon de Givry}, title = {Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {91--107}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_6}, doi = {10.1007/978-3-030-30048-7\_6}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/CherifH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Chisca0MO19, author = {Danuta Sorina Chisca and Michele Lombardi and Michela Milano and Barry O'Sullivan}, editor = {Thomas Schiex and Simon de Givry}, title = {Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {108--125}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_7}, doi = {10.1007/978-3-030-30048-7\_7}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Chisca0MO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Chowdhury0Y19, author = {Md. Solimul Chowdhury and Martin M{\"{u}}ller and Jia{-}Huai You}, editor = {Thomas Schiex and Simon de Givry}, title = {Exploiting Glue Clauses to Design Effective {CDCL} Branching Heuristics}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {126--143}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_8}, doi = {10.1007/978-3-030-30048-7\_8}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Chowdhury0Y19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ColT19, author = {Giacomo Da Col and Erich Christian Teppan}, editor = {Thomas Schiex and Simon de Givry}, title = {Industrial Size Job Shop Scheduling Tackled by Present Day {CP} Solvers}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {144--160}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_9}, doi = {10.1007/978-3-030-30048-7\_9}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ColT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ColnetM19, author = {Alexis de Colnet and Kuldeep S. Meel}, editor = {Thomas Schiex and Simon de Givry}, title = {Dual Hashing-Based Algorithms for Discrete Integration}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {161--176}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_10}, doi = {10.1007/978-3-030-30048-7\_10}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ColnetM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DemirovicS19, author = {Emir Demirovic and Peter J. Stuckey}, editor = {Thomas Schiex and Simon de Givry}, title = {Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {177--194}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_11}, doi = {10.1007/978-3-030-30048-7\_11}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/DemirovicS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FedyukovichG19, author = {Grigory Fedyukovich and Aarti Gupta}, editor = {Thomas Schiex and Simon de Givry}, title = {Functional Synthesis with Examples}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {547--564}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_32}, doi = {10.1007/978-3-030-30048-7\_32}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FedyukovichG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FichteHZ19, author = {Johannes Klaus Fichte and Markus Hecher and Markus Zisser}, editor = {Thomas Schiex and Simon de Givry}, title = {An Improved GPU-Based {SAT} Model Counter}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {491--509}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_29}, doi = {10.1007/978-3-030-30048-7\_29}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FichteHZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FiorettoH19, author = {Ferdinando Fioretto and Pascal Van Hentenryck}, editor = {Thomas Schiex and Simon de Givry}, title = {Differential Privacy of Hierarchical Census Data: An Optimization Approach}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {639--655}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_37}, doi = {10.1007/978-3-030-30048-7\_37}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/FiorettoH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FrimodigS19, author = {Sara Frimodig and Christian Schulte}, editor = {Thomas Schiex and Simon de Givry}, title = {Models for Radiation Therapy Patient Scheduling}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {421--437}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_25}, doi = {10.1007/978-3-030-30048-7\_25}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FrimodigS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GalleguillosKSB19, author = {Cristian Galleguillos and Zeynep Kiziltan and Alina S{\^{\i}}rbu and {\"{O}}zalp Babaoglu}, editor = {Thomas Schiex and Simon de Givry}, title = {Constraint Programming-Based Job Dispatching for Modern {HPC} Applications}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {438--455}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_26}, doi = {10.1007/978-3-030-30048-7\_26}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GalleguillosKSB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GanianOS19, author = {Robert Ganian and Sebastian Ordyniak and Stefan Szeider}, editor = {Thomas Schiex and Simon de Givry}, title = {A Join-Based Hybrid Parameter for Constraint Satisfaction}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {195--212}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_12}, doi = {10.1007/978-3-030-30048-7\_12}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GanianOS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GillardSD19, author = {Xavier Gillard and Pierre Schaus and Yves Deville}, editor = {Thomas Schiex and Simon de Givry}, title = {SolverCheck: Declarative Testing of Constraints}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {565--582}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_33}, doi = {10.1007/978-3-030-30048-7\_33}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GillardSD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GlorianLMS19, author = {Gael Glorian and Jean{-}Marie Lagniez and Valentin Montmirail and Nicolas Szczepanski}, editor = {Thomas Schiex and Simon de Givry}, title = {An Incremental SAT-Based Approach to the Graph Colouring Problem}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {213--231}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_13}, doi = {10.1007/978-3-030-30048-7\_13}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GlorianLMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GuerreiroTLFM19, author = {Andreia P. Guerreiro and Miguel Terra{-}Neves and In{\^{e}}s Lynce and Jos{\'{e}} Rui Figueira and Vasco M. Manquinho}, editor = {Thomas Schiex and Simon de Givry}, title = {Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {232--250}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_14}, doi = {10.1007/978-3-030-30048-7\_14}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/GuerreiroTLFM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Heule19, author = {Marijn J. H. Heule}, editor = {Thomas Schiex and Simon de Givry}, title = {Trimming Graphs Using Clausal Proof Optimization}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {251--267}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_15}, doi = {10.1007/978-3-030-30048-7\_15}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Heule19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Hooker19, author = {John N. Hooker}, editor = {Thomas Schiex and Simon de Givry}, title = {Improved Job Sequencing Bounds from Decision Diagrams}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {268--283}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_16}, doi = {10.1007/978-3-030-30048-7\_16}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Hooker19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/IcarteICCMB19, author = {Rodrigo Toro Icarte and Le{\'{o}}n Illanes and Margarita P. Castro and Andr{\'{e}} A. Cir{\'{e}} and Sheila A. McIlraith and J. Christopher Beck}, editor = {Thomas Schiex and Simon de Givry}, title = {Training Binarized Neural Networks Using {MIP} and {CP}}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {401--417}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_24}, doi = {10.1007/978-3-030-30048-7\_24}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/IcarteICCMB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/IsoartR19, author = {Nicolas Isoart and Jean{-}Charles R{\'{e}}gin}, editor = {Thomas Schiex and Simon de Givry}, title = {Integration of Structural Constraints into {TSP} Models}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {284--299}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_17}, doi = {10.1007/978-3-030-30048-7\_17}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/IsoartR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KaznatcheevCJ19, author = {Artem Kaznatcheev and David A. Cohen and Peter G. Jeavons}, editor = {Thomas Schiex and Simon de Givry}, title = {Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {300--316}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_18}, doi = {10.1007/978-3-030-30048-7\_18}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KaznatcheevCJ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KuhlemannST19, author = {Stefan Kuhlemann and Meinolf Sellmann and Kevin Tierney}, editor = {Thomas Schiex and Simon de Givry}, title = {Exploiting Counterfactuals for Scalable Stochastic Optimization}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {690--708}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_40}, doi = {10.1007/978-3-030-30048-7\_40}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KuhlemannST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MattenetDNS19, author = {Alex Mattenet and Ian Davidson and Siegfried Nijssen and Pierre Schaus}, editor = {Thomas Schiex and Simon de Givry}, title = {Generic Constraint-Based Block Modeling Using Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {656--673}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_38}, doi = {10.1007/978-3-030-30048-7\_38}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/MattenetDNS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/McCreeshPP19, author = {Ciaran McCreesh and William Pettersson and Patrick Prosser}, editor = {Thomas Schiex and Simon de Givry}, title = {Understanding the Empirical Hardness of Random Optimisation Problems}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {333--349}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_20}, doi = {10.1007/978-3-030-30048-7\_20}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/McCreeshPP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Mitchell19, author = {David Mitchell}, editor = {Thomas Schiex and Simon de Givry}, title = {Guarded Constraint Models Define Treewidth Preserving Reductions}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {350--365}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_21}, doi = {10.1007/978-3-030-30048-7\_21}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Mitchell19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MurinR19, author = {Stanislav Mur{\'{\i}}n and Hana Rudov{\'{a}}}, editor = {Thomas Schiex and Simon de Givry}, title = {Scheduling of Mobile Robots Using Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {456--471}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_27}, doi = {10.1007/978-3-030-30048-7\_27}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/MurinR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/OrvalhoTVMM19, author = {Pedro Orvalho and Miguel Terra{-}Neves and Miguel Ventura and Ruben Martins and Vasco M. Manquinho}, editor = {Thomas Schiex and Simon de Givry}, title = {Encodings for Enumeration-Based Program Synthesis}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {583--599}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_34}, doi = {10.1007/978-3-030-30048-7\_34}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/OrvalhoTVMM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PachecoP019, author = {Adriana Pacheco and C{\'{e}}dric Pralet and St{\'{e}}phanie Roussel}, editor = {Thomas Schiex and Simon de Givry}, title = {Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {472--487}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_28}, doi = {10.1007/978-3-030-30048-7\_28}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PachecoP019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SayST19, author = {Buser Say and Scott Sanner and Sylvie Thi{\'{e}}baux}, editor = {Thomas Schiex and Simon de Givry}, title = {Reward Potentials for Planning with Learned Neural Network Transition Models}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {674--689}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_39}, doi = {10.1007/978-3-030-30048-7\_39}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/SayST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SchiendorferR19, author = {Alexander Schiendorfer and Wolfgang Reif}, editor = {Thomas Schiex and Simon de Givry}, title = {Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {510--526}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_30}, doi = {10.1007/978-3-030-30048-7\_30}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/SchiendorferR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SpracklenDAM19, author = {Patrick Spracklen and Nguyen Dang and {\"{O}}zg{\"{u}}r Akg{\"{u}}n and Ian Miguel}, editor = {Thomas Schiex and Simon de Givry}, title = {Automatic Streamlining for Constrained Optimisation}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {366--383}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_22}, doi = {10.1007/978-3-030-30048-7\_22}, timestamp = {Mon, 24 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/SpracklenDAM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/StuckeyT19, author = {Peter J. Stuckey and Guido Tack}, editor = {Thomas Schiex and Simon de Givry}, title = {Compiling Conditional Constraints}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {384--400}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_23}, doi = {10.1007/978-3-030-30048-7\_23}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/StuckeyT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Tsouros0B19, author = {Dimosthenis C. Tsouros and Kostas Stergiou and Christian Bessiere}, editor = {Thomas Schiex and Simon de Givry}, title = {Structure-Driven Multiple Constraint Acquisition}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {709--725}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_41}, doi = {10.1007/978-3-030-30048-7\_41}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Tsouros0B19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/YangFG19, author = {Weikun Yang and Grigory Fedyukovich and Aarti Gupta}, editor = {Thomas Schiex and Simon de Givry}, title = {Lemma Synthesis for Automating Induction over Algebraic Data Types}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {600--617}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_35}, doi = {10.1007/978-3-030-30048-7\_35}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/YangFG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cp/2019, editor = {Thomas Schiex and Simon de Givry}, title = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7}, doi = {10.1007/978-3-030-30048-7}, isbn = {978-3-030-30047-0}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.