default search action

combined dblp search
author search
venue search
publication search

ask others

26th CP 2020: Louvain-la-Neuve, Belgium

> Home > Conferences and Workshops > CP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cp/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/2020
Helmut Simonis:
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings. Lecture Notes in Computer Science 12333, Springer 2020, ISBN 978-3-030-58474-0

Technical Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/AmadiniGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AmadiniGS20
Roberto Amadini, Graeme Gange, Peter J. Stuckey:
Dashed Strings and the Replace(-all) Constraint. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BabakiOP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BabakiOP20
Behrouz Babaki, Bilel Omrani, Gilles Pesant:
Combinatorial Search in CP-Based Iterated Belief Propagation. 21-36
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BendikC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BendikC20
Jaroslav Bendík, Ivana Cerná:
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. 37-54
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BjordalFPST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BjordalFPST20
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack:
Solving Satisfaction Problems Using Large-Neighbourhood Search. 55-71
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BoothOMHR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BoothOMHR20
Kyle E. C. Booth, Bryan O'Gorman, Jeffrey Marshall, Stuart Hadfield, Eleanor Gilbert Rieffel:
Quantum-Accelerated Global Constraint Filtering. 72-89
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CaiZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CaiZ20
Shaowei Cai, Xindi Zhang:
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. 90-106
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Cohen-Solal20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Cohen-Solal20
Quentin Cohen-Solal:
Tractable Fragments of Temporal Sequences of Topological Information. 107-125
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Cooper20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Cooper20
Martin C. Cooper:
Strengthening Neighbourhood Substitution. 126-142
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DavidsonAEN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DavidsonAEN20
Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale:
Effective Encodings of Constraint Programming Models to SMT. 143-159
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Devriendt20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Devriendt20
Jo Devriendt:
Watched Propagation of 0-1 Integer Linear Constraints. 160-176
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DlaskW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DlaskW20
Tomás Dlask, Tomás Werner:
Bounding Linear Programs by Constraint Propagation: Application to Max-SAT. 177-193
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DlaskW20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DlaskW20a
Tomás Dlask, Tomás Werner:
On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs. 194-210
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DudekPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DudekPV20
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. 211-230
- view
  authority control:
- export record
  dblp key:
  - conf/cp/EkBSST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/EkBSST20
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Aggregation and Garbage Collection for Online Optimization. 231-247
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FichteHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FichteHK20
Johannes Klaus Fichte, Markus Hecher, Maximilian F. I. Kieler:
Treewidth-Aware Quantifier Elimination and Expansion for QCSP. 248-266
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FichteHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FichteHS20
Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
A Time Leap Challenge for SAT-Solving. 267-285
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FichteHS20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FichteHS20a
Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
Breaking Symmetries with RootClique and LexTopSort. 286-303
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FichteMSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FichteMSS20
Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler:
Towards Faster Reasoners by Using Transparent Huge Pages. 304-322
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GangeS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GangeS20
Graeme Gange, Peter J. Stuckey:
The Argmax Constraint. 323-337
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GochtMMNPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GochtMMNPT20
Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble:
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. 338-357
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GuptaRM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GuptaRM20
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel:
Phase Transition Behavior in Knowledge Compilation. 358-374
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HoiJS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HoiJS20
Gordon Hoi, Sanjay Jain, Frank Stephan:
A Faster Exact Algorithm to Count X3SAT Solutions. 375-391
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HowellCY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HowellCY20
Ian Howell, Berthe Y. Choueiry, Hongfeng Yu:
Visualizations to Summarize Search Behavior. 392-409
- view
  authority control:
- export record
  dblp key:
  - conf/cp/IsoartR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/IsoartR20
Nicolas Isoart, Jean-Charles Régin:
Parallelization of TSP Solving in CP. 410-426
- view
  authority control:
- export record
  dblp key:
  - conf/cp/KokkalaN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/KokkalaN20
Janne I. Kokkala, Jakob Nordström:
Using Resolution Proofs to Analyse CDCL Solvers. 427-444
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LeoGBW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LeoGBW20
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace:
Core-Guided Model Reformulation. 445-461
- view
  authority control:
- export record
  dblp key:
  - conf/cp/NattafM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/NattafM20
Margaux Nattaf, Arnaud Malapert:
Filtering Rules for Flow Time Minimization in a Parallel Machine Scheduling Problem. 462-477
- view
  authority control:
- export record
  dblp key:
  - conf/cp/RamaswamyS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/RamaswamyS20
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider:
MaxSAT-Based Postprocessing for Treedepth. 478-495
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PaparrizouW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PaparrizouW20
Anastasia Paparrizou, Hugues Wattez:
Perturbing Branching Heuristics in Constraint Solving. 496-513
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PeitlS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PeitlS20
Tomás Peitl, Stefan Szeider:
Finding the Hardest Formulas for Resolution. 514-530
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GentzelMH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GentzelMH20
Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve:
HADDOCK: A Language and Architecture for Decision Diagram Compilation. 531-547
- view
  authority control:
- export record
  dblp key:
  - conf/cp/RohouBCGJNRT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/RohouBCGJNRT20
Simon Rohou, Abderahmane Bedouhene, Gilles Chabert, Alexandre Goldsztejn, Luc Jaulin, Bertrand Neveu, Victor Reyes, Gilles Trombettoni:
Towards a Generic Interval Solver for Differential-Algebraic CSP. 548-565
- view
  authority control:
- export record
  dblp key:
  - conf/cp/RouquetteS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/RouquetteS20
Loïc Rouquette, Christine Solnon:
abstractXOR: A global constraint dedicated to differential cryptanalysis. 566-584
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Zhou20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Zhou20
Neng-Fa Zhou:
In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem. 585-602
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LamNSAL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LamNSAL20
Edward Lam, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman:
Large Neighborhood Search for Temperature Control with Demand Response. 603-619
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GroleazNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GroleazNS20
Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon:
Solving the Group Cumulative Scheduling Problem with CPO and ACO. 620-636
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GarciaMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GarciaMR20
Rémy Garcia, Claude Michel, Michel Rueher:
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. 637-653

Application Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/AntuoriHHEN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AntuoriHHEN20
Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen:
Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing. 657-672
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CarissanDHPTV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CarissanDHPTV20
Yannick Carissan, Chisom-Adaobi Dim, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet:
Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming. 673-689
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CarissanHPTV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CarissanHPTV20
Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet:
Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry. 690-706
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ColletGLCMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ColletGLCMM20
Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige:
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. 707-723
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GencO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GencO20
Begum Genc, Barry O'Sullivan:
A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork. 724-742
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LamSKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LamSKK20
Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Exact Approaches to the Multi-agent Collective Construction Problem. 743-758
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Mercier-AubinDG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Mercier-AubinDG20
Alexandre Mercier-Aubin, Ludwig Dumetz, Jonathan Gaudreault, Claude-Guy Quimper:
The Confidence Constraint: A Step Towards Stochastic CP Solvers. 759-773
- view
  authority control:
- export record
  dblp key:
  - conf/cp/TrimoskaID20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/TrimoskaID20
Monika Trimoska, Sorina Ionica, Gilles Dequen:
Parity (XOR) Reasoning for the Index Calculus Attack. 774-790
- view
  authority control:
- export record
  dblp key:
  - conf/cp/TsoupidiLB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/TsoupidiLB20
Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry:
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks. 791-808

CP and Data Science and Machine Learning

- view
  authority control:
- export record
  dblp key:
  - conf/cp/BrouardGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BrouardGS20
Céline Brouard, Simon de Givry, Thomas Schiex:
Pushing Data into CP Models Using Graphical Model Learning and Solving. 811-827
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DilkasB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DilkasB20
Paulius Dilkas, Vaishak Belle:
Generating Random Logic Programs Using Constraint Programming. 828-845
- view
  authority control:
- export record
  dblp key:
  - conf/cp/IgnatievCSHM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/IgnatievCSHM20
Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, João Marques-Silva:
Towards Formal Fairness in Machine Learning. 846-867
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BuningKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BuningKS20
Marko Kleine Büning, Philipp Kern, Carsten Sinz:
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. 868-884
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LiuZHNMZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LiuZHNMZ20
Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang:
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. 885-898
- view
  authority control:
- export record
  dblp key:
  - conf/cp/NejatiFG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/NejatiFG20
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh:
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. 899-916
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SayDNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SayDNS20
Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey:
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. 917-934
- view
  authority control:
- export record
  dblp key:
  - conf/cp/TsourosSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/TsourosSB20
Dimosthenis C. Tsouros, Kostas Stergiou, Christian Bessiere:
Omissions in Constraint Acquisition. 935-951
- view
  authority control:
- export record
  dblp key:
  - conf/cp/YuISB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/YuISB20
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Computing Optimal Decision Sets with SAT. 952-970

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.