Search results for "CP"

Hits ?▲	Authors	Title	Venue	Year	Link
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, 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, 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, Ö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, 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, 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, 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, Vijay Ganesh	Learning-Sensitive Backdoors with Restarts.	CP	2018	DBLP DOI BibTeX RDF
1	Waldemar Cruz, Fanghui Liu, 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, 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
1	Shan He, Mark Wallace 0001, Graeme Gange, Ariel Liebman, Campbell Wilson	A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing.	CP	2018	DBLP DOI BibTeX RDF
1	Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais	On Maximal Frequent Itemsets Mining with Constraints.	CP	2018	DBLP DOI BibTeX RDF
1	Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis	An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks.	CP	2018	DBLP DOI BibTeX RDF
1	Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh	Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers.	CP	2018	DBLP DOI BibTeX RDF
1	Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang 0001	Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.	CP	2017	DBLP DOI BibTeX RDF
1	Lucy Ham, Marcel Jackson	All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems.	CP	2017	DBLP DOI BibTeX RDF
1	Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel	A Tolerant Algebraic Side-Channel Attack on AES Using CP.	CP	2017	DBLP DOI BibTeX RDF
1	Víctor Dalmau	Conjunctions of Among Constraints.	CP	2017	DBLP DOI BibTeX RDF
1	Mohadeseh Ganji, James Bailey 0001, Peter J. Stuckey	A Declarative Approach to Constrained Community Detection.	CP	2017	DBLP DOI BibTeX RDF
1	Ciaran McCreesh, Patrick Prosser, Kyle Simpson, James Trimble 0001	On Maximum Weight Clique Algorithms, and How They Are Evaluated.	CP	2017	DBLP DOI BibTeX RDF
1	Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure	Combining Nogoods in Restart-Based Search.	CP	2017	DBLP DOI BibTeX RDF

Publications at "CP"( http://dblp.L3S.de/Venues/CP )