Search results for "CP"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider	Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
1	Matthew J. McIlree, Ciaran McCreesh	Proof Logging for Smart Extensional Constraints.	CP	2023	DBLP DOI BibTeX RDF
1	Carla Juvin, Emmanuel Hebrard, Laurent Houssin, Pierre Lopez	An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling.	CP	2023	DBLP DOI BibTeX RDF
1	Ryo Kuroiwa 0002, J. Christopher Beck	Large Neighborhood Beam Search for Domain-Independent Dynamic Programming.	CP	2023	DBLP DOI BibTeX RDF
1		Front Matter, Table of Contents, Preface, Conference Organization.	CP	2023	DBLP DOI BibTeX RDF
1	Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow	Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views.	CP	2023	DBLP DOI BibTeX RDF
1	Kyle E. C. Booth	Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
1	Steve Malalel, Arnaud Malapert, Marie Pelleau, Jean-Charles Régin	MDD Archive for Boosting the Pareto Constraint.	CP	2023	DBLP DOI BibTeX RDF
1	Alexandre Dubray, Pierre Schaus, Siegfried Nijssen	Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses.	CP	2023	DBLP DOI BibTeX RDF
1	Chungjae Lee, Wirattawut Boonbandansook, Vahid Eghbal Akhlaghi, Kevin Dalmeijer, Pascal Van Hentenryck	Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
1	Vincent Barbosa Vaz, James Bailey 0001, Christopher Leckie, Peter J. Stuckey	Predict-Then-Optimise Strategies for Water Flow Control (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
1	Nikolaos Ploskas, Kostas Stergiou 0001, Dimosthenis C. Tsouros	The p-Dispersion Problem with Distance Constraints.	CP	2023	DBLP DOI BibTeX RDF
1	Yi Chu, Shaowei Cai 0001, Chuan Luo 0002, Zhendong Lei, Cong Peng 0004	Towards More Efficient Local Search for Pseudo-Boolean Optimization.	CP	2023	DBLP DOI BibTeX RDF
1	Renee Mirka, Laura Greenstreet, Marc Grimson, Carla P. Gomes	A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
1	Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai 0001, Shimao Wang, Xinyu Wang, Minghao Yin	Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization.	CP	2023	DBLP DOI BibTeX RDF
1	Tom Marty, Tristan François, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau, Quentin Cappart	Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver.	CP	2023	DBLP DOI BibTeX RDF
1	Guillaume Perez, Gaël Glorian, Wijnand Suijlen, Arnaud Lallouet	Distribution Optimization in Constraint Programming.	CP	2023	DBLP DOI BibTeX RDF
1	Arnoosh Golestanian, Giovanni Lo Bianco, Chengyu Tao, J. Christopher Beck	Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities.	CP	2023	DBLP DOI BibTeX RDF
1	Jimmy H. M. Lee	A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk).	CP	2023	DBLP DOI BibTeX RDF
1	Xiao Peng, Christine Solnon	Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming.	CP	2023	DBLP DOI BibTeX RDF
1	Petr Kucera	Binary Constraint Trees and Structured Decomposability.	CP	2023	DBLP DOI BibTeX RDF
1	Stéphanie Roussel 0001, Thomas Polacsek, Anouck Chan	Assembly Line Preliminary Design Optimization for an Aircraft.	CP	2023	DBLP DOI BibTeX RDF
1	Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo	Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.	CP	2023	DBLP DOI BibTeX RDF
1	Vianney Coppé, Xavier Gillard, Pierre Schaus	Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming.	CP	2023	DBLP DOI BibTeX RDF
1	Pierre Talbot, Tingting Hu, Nicolas Navet	Constraint Programming with External Worst-Case Traversal Time Analysis.	CP	2023	DBLP DOI BibTeX RDF
1	João Araújo 0002, Choiwah Chow, Mikolás Janota	Symmetries for Cube-And-Conquer in Finite Model Finding.	CP	2023	DBLP DOI BibTeX RDF
1	Andreas Plank, Sibylle Möhle, Martina Seidl	Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
1	Laurent Perron, Frédéric Didier, Steven Gay	The CP-SAT-LP Solver (Invited Talk).	CP	2023	DBLP DOI BibTeX RDF
1	Roland H. C. Yap (eds.)	29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada	CP	2023	DBLP BibTeX RDF
1	Kexin Zheng, Ang Li, Han Zhang, T. K. Satish Kumar	FastMapSVM for Predicting CSP Satisfiability.	CP	2023	DBLP DOI BibTeX RDF
1	Aymeric Beauchamp, Thi-Bich-Hanh Dao, Samir Loudni, Christel Vrain	Incremental Constrained Clustering by Minimal Weighted Modification.	CP	2023	DBLP DOI BibTeX RDF
1	Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman	Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.	CP	2023	DBLP DOI BibTeX RDF
1	Younes Aalian, Gilles Pesant, Michel Gamache	Optimization of Short-Term Underground Mine Planning Using Constraint Programming.	CP	2023	DBLP DOI BibTeX RDF
1	Dimosthenis C. Tsouros, Senne Berden, Tias Guns	Guided Bottom-Up Interactive Constraint Acquisition.	CP	2023	DBLP DOI BibTeX RDF
1	Gilles Audemard, Christophe Lecoutre, Charles Prud'homme	Guiding Backtrack Search by Tracking Variables During Constraint Propagation.	CP	2023	DBLP DOI BibTeX RDF
1	Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey	From Formal Boosted Tree Explanations to Interpretable Rule Sets.	CP	2023	DBLP DOI BibTeX RDF
1	Yousra El Ghazi, Djamal Habet, Cyril Terrioux	A CP Approach for the Liner Shipping Network Design Problem.	CP	2023	DBLP DOI BibTeX RDF
1	Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack	Addressing Problem Drift in UNHCR Fund Allocation.	CP	2023	DBLP DOI BibTeX RDF
1	Roger Kameugne, Sévérine Betmbe Fetgo, Thierry Noulamo, Clémentin Tayou Djamégni	Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density.	CP	2023	DBLP DOI BibTeX RDF
1	Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts 0001, Tias Guns	Simplifying Step-Wise Explanation Sequences.	CP	2023	DBLP DOI BibTeX RDF
1	Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil	Fast Matrix Multiplication Without Tears: A Constraint Programming Approach.	CP	2023	DBLP DOI BibTeX RDF
1	Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres	Exploiting Configurations of MaxSAT Solvers.	CP	2023	DBLP DOI BibTeX RDF
1	Tianwei Zhang, Stefan Szeider	Searching for Smallest Universal Graphs and Tournaments with SAT.	CP	2023	DBLP DOI BibTeX RDF
1	Manuel Combarro Simón, Pierre Talbot, Grégoire Danoy, Jedrzej Musial, Mohammed Alswaitti, Pascal Bouvry	Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
1	Petr Vilím	CP Solver Design for Maximum CPU Utilization (Invited Talk).	CP	2023	DBLP DOI BibTeX RDF
1	Nicolas Golenvaux, Xavier Gillard, Siegfried Nijssen, Pierre Schaus	Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper).	CP	2023	DBLP DOI BibTeX RDF
1	Thomas Schiex	Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk).	CP	2023	DBLP DOI BibTeX RDF
1	Pouya Shati, Eldan Cohen, Sheila A. McIlraith	SAT-Based Learning of Compact Binary Decision Diagrams for Classification.	CP	2023	DBLP DOI BibTeX RDF
1	Maria Garcia de la Banda	Beyond Optimal Solutions for Real-World Problems (Invited Talk).	CP	2023	DBLP DOI BibTeX RDF
1	Guillaume Povéda, Nahum Álvarez, Christian Artigues	Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars.	CP	2023	DBLP DOI BibTeX RDF
1	Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström	Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning.	CP	2023	DBLP DOI BibTeX RDF
1	Amel Hidouri, Saïd Jabbour, Badran Raddaoui	On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach.	CP	2022	DBLP DOI BibTeX RDF
1	Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve	Heuristics for MDD Propagation in HADDOCK.	CP	2022	DBLP DOI BibTeX RDF
1	Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry	Parallel Hybrid Best-First Search.	CP	2022	DBLP DOI BibTeX RDF
1	Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard	Complexity of Minimum-Size Arc-Inconsistency Explanations.	CP	2022	DBLP DOI BibTeX RDF
1	Ágnes Cseh, Guillaume Escamocher, Luis Quesada 0001	Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences.	CP	2022	DBLP DOI BibTeX RDF
1	Senne Berden, Mohit Kumar 0003, Samuel Kolb, Tias Guns	Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation.	CP	2022	DBLP DOI BibTeX RDF
1	Chaithanya Basrur, Arambam James Singh, Arunesh Sinha, Akshat Kumar, T. K. Satish Kumar	Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data.	CP	2022	DBLP DOI BibTeX RDF
1	Maria-Florina Balcan, Siddharth Prasad, Tuomas Sandholm, Ellen Vitercik	Improved Sample Complexity Bounds for Branch-And-Cut.	CP	2022	DBLP DOI BibTeX RDF
1	Jie Wang, Dingding Chen, Ziyu Chen, Xiang-Shuang Liu, Junsong Gao	Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs.	CP	2022	DBLP DOI BibTeX RDF
1	Raphaël Boudreault, Vanessa Simard, Daniel Lafond, Claude-Guy Quimper	A Constraint Programming Approach to Ship Refit Project Scheduling.	CP	2022	DBLP DOI BibTeX RDF
1	Christopher Coulombe, Claude-Guy Quimper	Constraint Acquisition Based on Solution Counting.	CP	2022	DBLP DOI BibTeX RDF
1	Clément Carbonnel	On Redundancy in Constraint Satisfaction Problems.	CP	2022	DBLP DOI BibTeX RDF
1	Daphné Lafleur, Sarath Chandar, Gilles Pesant	Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints.	CP	2022	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Arnaud Lequen, Frédéric Maris	Isomorphisms Between STRIPS Problems and Sub-Problems.	CP	2022	DBLP DOI BibTeX RDF
1	Libor Barto, Silvia Butti	Weisfeiler-Leman Invariant Promise Valued CSPs.	CP	2022	DBLP DOI BibTeX RDF
1	Joan Espasa, Ian Miguel, Mateu Villaret	Plotting: A Planning Problem with Complex Transitions.	CP	2022	DBLP DOI BibTeX RDF
1	Jheisson López, Alejandro Arbelaez, Laura Climent	Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains.	CP	2022	DBLP DOI BibTeX RDF
1	Nguyen Dang 0001, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale	A Framework for Generating Informative Benchmark Instances.	CP	2022	DBLP DOI BibTeX RDF
1	Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck	Sequence Variables for Routing Problems.	CP	2022	DBLP DOI BibTeX RDF
1	Felix Winter, Sebastian Meiswinkel, Nysret Musliu, Daniel Walkiewicz	Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry.	CP	2022	DBLP DOI BibTeX RDF
1	Vianney Coppé, Xavier Gillard, Pierre Schaus	Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams.	CP	2022	DBLP DOI BibTeX RDF
1	Mate Soos, Priyanka Golia, Sourav Chakraborty 0001, Kuldeep S. Meel	On Quantitative Testing of Samplers.	CP	2022	DBLP DOI BibTeX RDF
1	Jimmy H. M. Lee, Allen Z. Zhong	Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization.	CP	2022	DBLP DOI BibTeX RDF
1	Ruiwei Wang, Roland H. C. Yap	CNF Encodings of Binary Constraint Trees.	CP	2022	DBLP DOI BibTeX RDF
1	Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack	Explaining Propagation for Gini and Spread with Variable Mean.	CP	2022	DBLP DOI BibTeX RDF
1	Stephan Gocht, Ciaran McCreesh, Jakob Nordström	An Auditable Constraint Programming Solver.	CP	2022	DBLP DOI BibTeX RDF
1	Donald E. Knuth	All Questions Answered (Invited Talk).	CP	2022	DBLP DOI BibTeX RDF
1	Mohit Kumar 0003, Samuel Kolb, Tias Guns	Learning Constraint Programming Models from Data Using Generate-And-Aggregate.	CP	2022	DBLP DOI BibTeX RDF
1	Timothy Curry, Gabriel De Pace, Benjamin Fuller 0001, Laurent Michel, Yan Lindsay Sun	DUELMIPs: Optimizing SDN Functionality and Security.	CP	2022	DBLP DOI BibTeX RDF
1	Ruth Hoffmann, Xu Zhu, Özgür Akgün, Miguel A. Nacenta	Understanding How People Approach Constraint Modelling and Solving.	CP	2022	DBLP DOI BibTeX RDF
1	Hélène Fargier, Jérôme Mengin, Nicolas Schmidt	Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms.	CP	2022	DBLP DOI BibTeX RDF
1	Mohamed Sami Cherif, Djamal Habet, Matthieu Py	From Crossing-Free Resolution to Max-SAT Resolution.	CP	2022	DBLP DOI BibTeX RDF
1	Marijn J. H. Heule, Anthony Karahalios, Willem-Jan van Hoeve	From Cliques to Colorings and Back Again.	CP	2022	DBLP DOI BibTeX RDF
1	Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau	Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams.	CP	2022	DBLP DOI BibTeX RDF
1	Kristina Asimi, Libor Barto, Silvia Butti	Fixed-Template Promise Model Checking Problems.	CP	2022	DBLP DOI BibTeX RDF
1	Louis Popovic, Alain Côté, Mohamed Gaha, Franklin Nguewouo, Quentin Cappart	Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using Constraint Programming.	CP	2022	DBLP DOI BibTeX RDF
1	Christine Solnon (eds.)	28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel.	CP	2022	DBLP BibTeX RDF
1	Fulya Trösser, Simon de Givry, George Katsirelos	Structured Set Variable Domains in Bayesian Network Structure Learning.	CP	2022	DBLP DOI BibTeX RDF
1		Front Matter, Table of Contents, Preface, Conference Organization.	CP	2022	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper	Acquiring Maps of Interrelated Conjectures on Sharp Bounds.	CP	2022	DBLP DOI BibTeX RDF
1	Jan Dreier, Sebastian Ordyniak, Stefan Szeider	CSP Beyond Tractable Constraint Languages.	CP	2022	DBLP DOI BibTeX RDF
1	Hongbo Li 0005, Yaling Wu, Minghao Yin, Zhanshan Li	A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems.	CP	2022	DBLP DOI BibTeX RDF
1	Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker	Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.	CP	2022	DBLP DOI BibTeX RDF
1	Nicolas Isoart, Jean-Charles Régin	A Linear Time Algorithm for the k-Cutset Constraint.	CP	2021	DBLP DOI BibTeX RDF
1	Shannon Sweitzer, T. K. Satish Kumar	Differential Programming via OR Methods.	CP	2021	DBLP DOI BibTeX RDF
1	Pouya Shati, Eldan Cohen, Sheila A. McIlraith	SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features.	CP	2021	DBLP DOI BibTeX RDF
1	Defeng Liu, Andrea Lodi 0001	Learning in Local Branching (Invited Talk).	CP	2021	DBLP DOI BibTeX RDF
1	Claudia Archetti, Ola Jabali, Andrea Mor, Alberto Simonetto, M. Grazia Speranza	The Bi-Objective Long-Haul Transportation Problem on a Road Network (Invited Talk).	CP	2021	DBLP DOI BibTeX RDF
1	Dimosthenis C. Tsouros, Kostas Stergiou 0001	Learning Max-CSPs via Active Constraint Acquisition.	CP	2021	DBLP DOI BibTeX RDF