Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jayanta Mandi, Rocsildes Canoy, Víctor Bucarey, Tias Guns |
Data Driven VRP: A Neural Network Model to Learn Hidden Preferences for VRP. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luis Quesada 0001, Kenneth N. Brown |
Positive and Negative Length-Bound Reachability Constraints. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Kovács, Pierre Tassel, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein, Martin Gebser |
Utilizing Constraint Optimization for Industrial Machine Workload Balancing. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jiong Yang 0002, Kuldeep S. Meel |
Engineering an Efficient PB-XOR Solver. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Louise Lackner, Christoph Mrkvicka, Nysret Musliu, Daniel Walkiewicz, Felix Winter |
Minimizing Cumulative Batch Processing Time for an Industrial Oven Scheduling Problem. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | João Araújo 0002, Choiwah Chow, Mikolás Janota |
Filtering Isomorphic Models by Invariants (Short Paper). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luc Libralesso, François Delobel, Pascal Lafourcade 0001, Christine Solnon |
Automatic Generation of Declarative Models For Differential Cryptanalysis. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Smirnov 0003, Jeremias Berg, Matti Järvisalo |
Pseudo-Boolean Optimization by Implicit Hitting Sets. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta |
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xiang-Shuang Liu, Ziyu Chen, Dingding Chen, Junsong Gao |
A Bound-Independent Pruning Technique to Speeding up Tree-Based Complete Search Algorithms for Distributed Constraint Optimization Problems. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Jesus Ojeda, Eduard Torres |
Building High Strength Mixed Covering Arrays with Constraints. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent 0001 |
Learning TSP Requires Rethinking Generalization. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Niskanen, Jeremias Berg, Matti Järvisalo |
Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abderahmane Bedouhene, Bertrand Neveu, Gilles Trombettoni, Luc Jaulin, Stéphane Le Ménec |
An Interval Constraint Programming Approach for Quasi Capture Tube Validation. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota, António Morgado 0001, José Fragoso Santos, Vasco M. Manquinho |
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
Exhaustive Generation of Benzenoid Structures Sharing Common Patterns. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roie Zivan, Omer Perry, Ben Rachmut, William Yeoh 0001 |
The Effect of Asynchronous Execution and Message Latency on Max-Sum. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme |
Solution Sampling with Random Table Constraints. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang 0001 |
Making Rigorous Linear Programming Practical for Program Analysis. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nils Merlin Ullmann, Tomás Balyo, Michael Klein |
Parallelizing a SAT-Based Product Configurator. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Antuori, Tom Portoleau, Louis Rivière, Emmanuel Hebrard |
On How Turing and Singleton Arc Consistency Broke the Enigma Code. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Ciaran McCreesh, Anas Shahab |
Complications for Computational Experiments from Modern Processors. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yiwei Bai, Di Chen 0001, Carla P. Gomes |
CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Markus Iser, Tomás Balyo |
Unit Propagation with Stable Watches (Short Paper). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme de Azevedo Silveira |
Generating Magical Performances with Constraint Programming (Short Paper). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Dlask, Tomás Werner, Simon de Givry |
Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaowei Cai 0001, Chuan Luo 0002, Xindi Zhang, Jian Zhang |
Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He 0001 |
Combining Clause Learning and Branch and Bound for MaxSAT. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tuukka Korhonen, Matti Järvisalo |
Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gaël Glorian, Adrien Debesson, Sylvain Yvon-Paliot, Laurent Simon |
The Dungeon Variations Problem Using Constraint Programming. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Valentin Roland |
Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen |
Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ilankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey |
Optimising Training for Service Delivery. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Laurent D. Michel (eds.) |
27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021. |
CP |
2021 |
DBLP BibTeX RDF |
|
1 | Ágnes Cseh, Guillaume Escamocher, Begüm Genç, Luis Quesada 0001 |
A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bohan Li 0002, Kai Wang, Yiyuan Wang, Shaowei Cai 0001 |
Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev |
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anton Korikov, J. Christopher Beck |
Counterfactual Explanations via Inverse Constraint Programming. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis |
The Hybrid Flexible Flowshop with Transportation Times. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak |
Reasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms and Lower Bounds for Backdoors. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Ihalainen, Jeremias Berg, Matti Järvisalo |
Refined Core Relaxation for Core-Guided MaxSAT Solving. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani |
Practical Bigraphs via Subgraph Isomorphism. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Markus Kirchweger, Stefan Szeider |
SAT Modulo Symmetries for Graph Generation. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Fioretto |
Constrained-Based Differential Privacy (Invited Talk). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Isoart, Jean-Charles Régin |
A k-Opt Based Constraint for the TSP. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Peng, Christine Solnon, Olivier Simonin 0001 |
Solving the Non-Crossing MAPF with CP. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Théo Matricon, Marie Anastacio, Nathanaël Fijalkow, Laurent Simon, Holger H. Hoos |
Statistical Comparison of Algorithm Performance Through Instance Selection. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Galleguillos, Zeynep Kiziltan, Ricardo Soto 0001 |
A Job Dispatcher for Large and Heterogeneous HPC Systems Running Modern Applications. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace 0001, Michael Wybrow, Maria Garcia de la Banda |
Human-Centred Feasibility Restoration. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Li 0005, Minghao Yin, Zhanshan Li |
Failure Based Variable Ordering Heuristics for Solving CSPs (Short Paper). |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux |
Combining VSIDS and CHB Using Restarts in SAT. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, João Marques-Silva 0001 |
On the Tractability of Explaining Decisions of Classifiers. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ghiles Ziat, Matthieu Dien, Vincent Botbol |
Automated Random Testing of Numerical Constrained Types. |
CP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Neng-Fa Zhou |
In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Gupta, Subhajit Roy 0001, Kuldeep S. Meel |
Phase Transition Behavior in Knowledge Compilation. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace 0001 |
Core-Guided Model Reformulation. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Dlask, Tomás Werner |
On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anastasia Paparrizou, Hugues Wattez |
Perturbing Branching Heuristics in Constraint Solving. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble 0001 |
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Mercier-Aubin, Ludwig Dumetz, Jonathan Gaudreault, Claude-Guy Quimper |
The Confidence Constraint: A Step Towards Stochastic CP Solvers. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lam 0001, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar |
Exact Approaches to the Multi-agent Collective Construction Problem. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Rouquette, Christine Solnon |
abstractXOR: A global constraint dedicated to differential cryptanalysis. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Isoart, Jean-Charles Régin |
Parallelization of TSP Solving in CP. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh |
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon |
Solving the Group Cumulative Scheduling Problem with CPO and ACO. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic |
Computing Optimal Decision Sets with SAT. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jo Devriendt |
Watched Propagation of 0-1 Integer Linear Constraints. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Céline Brouard, Simon de Givry, Thomas Schiex |
Pushing Data into CP Models Using Graphical Model Learning and Solving. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Minghao Liu 0001, Fan Zhang, Pei Huang 0002, Shuzi Niu, Feifei Ma, Jian Zhang 0001 |
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lam 0001, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman |
Large Neighborhood Search for Temperature Control with Demand Response. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Peitl, Stefan Szeider |
Finding the Hardest Formulas for Resolution. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Janne I. Kokkala, Jakob Nordström |
Using Resolution Proofs to Analyse CDCL Solvers. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaowei Cai 0001, Xindi Zhang |
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Hoi, Sanjay Jain 0001, Frank Stephan 0001 |
A Faster Exact Algorithm to Count X3SAT Solutions. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Monika Trimoska, Sorina Ionica, Gilles Dequen |
Parity (XOR) Reasoning for the Index Calculus Attack. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry |
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Dlask, Tomás Werner |
Bounding Linear Programs by Constraint Propagation: Application to Max-SAT. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve |
HADDOCK: A Language and Architecture for Decision Diagram Compilation. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Margaux Nattaf, Arnaud Malapert |
Filtering Rules for Flow Time Minimization in a Parallel Machine Scheduling Problem. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale |
Effective Encodings of Constraint Programming Models to SMT. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
Dashed Strings and the Replace(-all) Constraint. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
MaxSAT-Based Postprocessing for Treedepth. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
Aggregation and Garbage Collection for Online Optimization. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis (eds.) |
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Cohen-Solal |
Tractable Fragments of Temporal Sequences of Topological Information. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Stefan Szeider |
Breaking Symmetries with RootClique and LexTopSort. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper |
Strengthening Neighbourhood Substitution. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler |
Towards Faster Reasoners by Using Transparent Huge Pages. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marko Kleine Büning, Philipp Kern, Carsten Sinz |
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Carissan, Chisom-Adaobi Dim, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet |
Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi |
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ian Howell, Berthe Y. Choueiry, Hongfeng Yu 0001 |
Visualizations to Summarize Search Behavior. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001, Christian Bessiere |
Omissions in Constraint Acquisition. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey |
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Peter J. Stuckey |
The Argmax Constraint. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík, Ivana Cerná |
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|