Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Begum Genc, Barry O'Sullivan |
A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Garcia, Claude Michel, Michel Rueher |
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Stefan Szeider |
A Time Leap Challenge for SAT-Solving. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kyle E. C. Booth, Bryan O'Gorman, Jeffrey Marshall, Stuart Hadfield, Eleanor Gilbert Rieffel |
Quantum-Accelerated Global Constraint Filtering. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Maximilian F. I. Kieler |
Treewidth-Aware Quantifier Elimination and Expansion for QCSP. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Ignatiev, Martin C. Cooper, Mohamed Siala 0002, Emmanuel Hebrard, João Marques-Silva 0001 |
Towards Formal Fairness in Machine Learning. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
Solving Satisfaction Problems Using Large-Neighbourhood Search. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Behrouz Babaki, Bilel Omrani, Gilles Pesant |
Combinatorial Search in CP-Based Iterated Belief Propagation. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paulius Dilkas, Vaishak Belle |
Generating Random Logic Programs Using Constraint Programming. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige |
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marijn J. H. Heule |
Trimming Graphs Using Clausal Proof Optimization. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Schiendorfer, Wolfgang Reif |
Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kuhlemann, Meinolf Sellmann, Kevin Tierney |
Exploiting Counterfactuals for Scalable Stochastic Optimization. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman |
Functional Significance Checking in Noisy Gene Regulatory Networks. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, William Pettersson, Patrick Prosser |
Understanding the Empirical Hardness of Random Optimisation Problems. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho |
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Schiex, Simon de Givry (eds.) |
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001, Christian Bessiere |
Structure-Driven Multiple Constraint Acquisition. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi |
On Symbolic Approaches for Computing the Matrix Permanent. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey |
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Markus Zisser |
An Improved GPU-Based SAT Model Counter. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Murín, Hana Rudová |
Scheduling of Mobile Robots Using Constraint Programming. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons |
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Galleguillos, Zeynep Kiziltan, Alina Sîrbu, Özalp Babaoglu |
Constraint Programming-Based Job Dispatching for Modern HPC Applications. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang 0001, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret |
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rocsildes Canoy, Tias Guns |
Vehicle Routing by Learning from Historical Solutions. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Da Col, Erich Christian Teppan |
Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Sebastian Ordyniak, Stefan Szeider |
A Join-Based Hybrid Parameter for Constraint Satisfaction. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Danuta Sorina Chisca, Michele Lombardi 0001, Michela Milano, Barry O'Sullivan |
Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Mitchell |
Guarded Constraint Models Define Treewidth Preserving Reductions. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck |
Training Binarized Neural Networks Using MIP and CP. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexis de Colnet, Kuldeep S. Meel |
Dual Hashing-Based Algorithms for Discrete Integration. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho |
Encodings for Enumeration-Based Program Synthesis. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Buser Say, Scott Sanner, Sylvie Thiébaux |
Reward Potentials for Planning with Learned Neural Network Transition Models. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Md. Solimul Chowdhury, Martin Müller 0003, Jia-Huai You |
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Improved Job Sequencing Bounds from Decision Diagrams. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey, Guido Tack |
Compiling Conditional Constraints. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Spracklen, Nguyen Dang 0001, Özgür Akgün, Ian Miguel |
Automatic Streamlining for Constrained Optimisation. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John O. R. Aoga, Siegfried Nijssen, Pierre Schaus |
Modeling Pattern Set Mining Using Boolean Circuits. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nadeem Al-Kurdi, Benjamin Pillot, Carmen Gervet, Laurent Linguet |
Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus |
Generic Constraint-Based Block Modeling Using Constraint Programming. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Gillard, Pierre Schaus, Yves Deville |
SolverCheck: Declarative Testing of Constraints. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Aarti Gupta |
Functional Synthesis with Examples. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sara Frimodig, Christian Schulte 0001 |
Models for Radiation Therapy Patient Scheduling. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Isoart, Jean-Charles Régin |
Integration of Structural Constraints into TSP Models. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Fioretto, Pascal Van Hentenryck |
Differential Privacy of Hierarchical Census Data: An Optimization Approach. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Sami Cherif, Djamal Habet |
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski |
An Incremental SAT-Based Approach to the Graph Colouring Problem. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Nguyen Dang 0001, Ian Miguel, András Z. Salamon, Christopher Stone |
Instance Generation via Generator Instances. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet |
Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emir Demirovic, Peter J. Stuckey |
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Li-Cheng Chen, Jie-Hong R. Jiang |
A Cube Distribution Approach to QBF Solving and Certificate Minimization. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Pacheco, Cédric Pralet, Stéphanie Roussel 0001 |
Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow |
Peak-Hour Rail Demand Shifting with Discrete Optimisation. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Weikun Yang, Grigory Fedyukovich, Aarti Gupta |
Lemma Synthesis for Automating Induction over Algebraic Data Types. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fanghui Liu 0002, Waldemar Cruz, Laurent Michel |
A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Vismara, Nicolas Briot |
A Circuit Constraint for Multiple Tours Problems. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca |
Unifying Reserve Design Strategies with Graph Theory and Constraint Programming. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Linnea Ingmar, Christian Schulte 0001 |
Making Compact-Table Compact. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider |
An SMT Approach to Fractional Hypertree Width. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Schneider, Berthe Y. Choueiry |
PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong |
Augmenting Stream Constraint Programming with Eventuality Conditions. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki 0001, Vijay Ganesh |
The Effect of Structural Measures and Merges on SAT Solver Performance. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
Solver-Independent Large Neighbourhood Search. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Nadjib Lazaar, Mehdi Maamar |
User's Constraints in Itemset Mining. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon |
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
Propagating Regular Membership with Dashed Strings. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Perez, Brendan Rappazzo, Carla P. Gomes |
Extending the Capacity of 1 / f Noise Generation. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hong Xu 0003, Sven Koenig, T. K. Satish Kumar |
Towards Effective Deep Learning for Constraint Satisfaction Problems. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florent R. Madelaine, Stéphane Secouard |
Quantified Valued Constraint Satisfaction Problem. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney |
Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Holger H. Hoos, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider |
Portfolio-Based Algorithm Selection for Circuit QBFs. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Khoi D. Hoang, Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli, Roie Zivan |
A Large Neighboring Search Schema for Multi-agent Optimization. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Malioutov, Kuldeep S. Meel |
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emir Demirovic, Geoffrey Chu, Peter J. Stuckey |
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace 0001 |
Process Plant Layout Optimization: Equipment Allocation. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lonsing, Uwe Egly |
Evaluating QBF Solvers: Quantifier Alternations Matter. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Cappart, Charles Thomas 0005, Pierre Schaus, Louis-Martin Rousseau |
A Constraint Programming Approach for Solving Patient Transportation Problems. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Tesch |
Improving Energetic Propagations for Cumulative Scheduling. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bono, Alfonso Emilio Gerevini |
Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Spracklen, Özgür Akgün, Ian Miguel |
Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001, Panagiotis G. Sarigiannidis |
Efficient Methods for Constraint Acquisition. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Bit-Monnot |
A Constraint-Based Encoding for Domain-Independent Temporal Planning. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné |
Finding Solutions by Finding Inconsistencies. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
Metamorphic Testing of Constraint Solvers. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Liel Cohen, Roie Zivan |
Balancing Asymmetry in Max-sum Using Split Constraint Factor Graphs. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
Towards Semi-Automatic Learning-Based Model Transformation. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Meriem Khelifa, Dalila Boughaci, Esma Aïmeur |
A Novel Graph-Based Heuristic Approach for Solving Sport Scheduling Problem. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Peter J. Stuckey |
Sequential Precede Chain for Value Symmetry Elimination. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hebrard, George Katsirelos |
Clause Learning and New Bounds for Graph Coloring. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker (eds.) |
Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki 0001, Vijay Ganesh |
Learning-Sensitive Backdoors with Restarts. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Waldemar Cruz, Fanghui Liu 0002, Laurent Michel |
Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais |
A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Joshi 0001, Prateek Kumar 0001, Ruben Martins, Sukrut Rao |
Approximation Strategies for Incomplete MaxSAT. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Fossé, Laurent Simon |
On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Palmieri, Guillaume Perez |
Objective as a Feature for Robust Search Strategies. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Levit 0001, Amnon Meisels |
Distributed Constrained Search by Selfish Agents for Efficient Equilibria. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Wafa Jguirim, David A. Cohen |
Domain Reduction for Valued Constraints by Generalising Methods from CSP. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|