Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 0001, Ji-Wei Jin, Xin Gao, Wei Sun 0001, 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 0002, 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 A. 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 |
|
1 | Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki |
Minimum-Width Confidence Bands via Constraint Optimization. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon de Givry, George Katsirelos |
Clique Cuts in Weighted Constraint Satisfaction. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hong Xu 0003, Sven Koenig, T. K. Satish Kumar |
A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace 0001 |
An Optimization Model for 3D Pipe Routing with Flexibility Constraints. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko |
Reduced Cost Fixing in MaxSAT. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Victor Lagerkvist, Magnus Wahlström |
Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lam 0001, Pascal Van Hentenryck |
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Schaus, John O. R. Aoga, Tias Guns |
CoverSize: A Global Constraint for Frequency-Based Itemset Mining. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou |
Defining and Evaluating Heuristics for the Compilation of Constraint Networks. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | J. Christopher Beck (eds.) |
Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tong Liu 0004, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro |
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Willem-Jan van Hoeve, Sridhar R. Tayur |
Integer and Constraint Programming for Batch Annealing Process Planning. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson |
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen |
Constraint Handling in Flight Planning. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohd. Hafiz Hasan, Pascal Van Hentenryck |
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Job Sequencing Bounds from Decision Diagrams. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel |
Search Strategies for Floating Point Constraint Systems. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney |
Learning the Parameters of Global Constraints Using Branch-and-Bound. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen |
Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erez Bilgory, Eyal Bin, Avi Ziv |
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Perez, Jean-Charles Régin |
MDDs: Sampling and Probability Constraints. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Analyzing Lattice Point Feasibility in UTVPI Constraints. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Goldwaser, Andreas Schutt |
Optimal Torpedo Scheduling. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Siala 0002, Barry O'Sullivan |
Rotation-Based Formulation for Stable Matching. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Matti Järvisalo |
Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
Generating Linear Invariants for a Conjunction of Automata Constraints. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost |
Arc Consistency via Linear Programming. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neng-Fa Zhou, Håkan Kjellerstrand |
Optimizing SAT Encodings for Arithmetic Constraints. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth D. Young, Thibaut Feydy, Andreas Schutt |
Constraint Programming Applied to the Multi-Skill Project Scheduling Problem. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Chabert, Christine Solnon |
Constraint Programming for Multi-criteria Conceptual Clustering. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
among Implied Constraints for Two Families of Time-Series Constraints. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith |
Constraint-Based Synthesis of Datalog Programs. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh 0001 |
Preference Elicitation for DCOPs. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet |
An Incomplete Constraint-Based System for Scheduling with Renewable Resources. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre |
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
A Novel Approach to String Constraint Solving. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Urli, Philip Kilby |
Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus |
Extending Compact-Table to Basic Smart Tables. |
CP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Clément Carbonnel |
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Patrick Prosser, James Trimble 0001 |
Morphing Between Stable Matching Problems. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Gérault, Marine Minier, Christine Solnon |
Constraint Programming Models for Chosen Key Differential Cryptanalysis. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roy, Guillaume Perez, Jean-Charles Régin, Alexandre Papadopoulos, François Pachet, Marco Marchini |
Enforcing Structure on Temporal Sequences: The Allen Constraint. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jack Goffinet, Raghuram Ramanujan |
Monte-Carlo Tree Search for the Maximum Satisfiability Problem. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey |
A Bounded Path Propagator on Directed Graphs. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Goulet, Wei Li 0002, Hyunmin Cheong, Francesco Iorio, Claude-Guy Quimper |
Four-Bar Linkage Synthesis Using Non-convex Optimization. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney |
Learning Parameters for the Sequence Constraint from Solutions. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luke Hunsberger, Roberto Posenato |
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xujie Si, Xin Zhang 0035, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik |
On Incremental Core-Guided MaxSAT Solving. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlák |
The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Matti Järvisalo |
Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Joshua Blinkhorn |
Dependency Schemes in QBF Calculi: Semantics and Soundness. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ria Szeredi, Andreas Schutt |
Modelling and Solving Multi-mode Resource-Constrained Project Scheduling. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus |
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Yang Ku, J. Christopher Beck |
Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary |
An Adaptive Parallel SAT Solver. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Samir Sebbah, Claire Bagley, Mike Colena, Serdar Kadioglu |
Availability Optimization in Cloud-Based In-Memory Data Grids. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Tesch |
A Nearly Exact Propagation Algorithm for Energetic Reasoning in \mathcal O(n^2 \log n). |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
Breaking Symmetries in Graphs: The Nauty Way. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace 0001 |
Improved Linearization of Constraint Programming Models. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux |
Extending Broken Triangles and Enhanced Value-Merging. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel |
Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tsubasa Tanaka, Brian Bemman, David Meredith 0001 |
Constraint Programming Approach to the Problem of Generating Milton Babbitt's All-Partition Arrays. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Learning from Learning Solvers. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Feydy, Peter J. Stuckey |
Interval Constraints with Learning: Application to Air Traffic Control. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis |
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Jégou, Hanan Kanso, Cyril Terrioux |
Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Harsha Nagarajan, Mowen Lu, Emre Yamangil, Russell Bent |
Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clément Carbonnel, Emmanuel Hebrard |
Propagation via Kernelization: The Vertex Cover Constraint. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler |
Using Graph-Based CSP to Solve the Address Translation Problem. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yexiang Xue, Ian Davies, Daniel Fink 0002, Christopher Wood, Carla P. Gomes |
Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan 0001, Ji-Wei Jin, Hai Liu, Jian Zhang 0001 |
Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schutt, Peter J. Stuckey |
Explaining Producer/Consumer Constraints. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Katherine Giles, Willem-Jan van Hoeve |
Solving a Supply-Delivery Scheduling Problem with Constraint Programming. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Alessandro Zanarini, Michele Lombardi 0001, Michela Milano |
The Multirate Resource Constraint. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Ignatiev, Alessandro Previti, João Marques-Silva 0001 |
On Finding Minimum Satisfying Assignments. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, M. S. Ramanujan 0001, Stefan Szeider |
Backdoors to Tractable Valued CSP. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Papadopoulos, Pierre Roy, François Pachet |
Assisted Lead Sheet Composition Using FlowComposer. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck |
A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu |
Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robinson Duque, Juan Francisco Díaz, Alejandro Arbelaez |
SABIO: An Implementation of MIP and CP for Interactive Soccer Queries. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Lorca, Charles Prud'homme, Aurélien Questel, Benoît Rottembourg |
Using Constraint Programming for the Urban Transit Crew Rescheduling Problem. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Palmieri, Jean-Charles Régin, Pierre Schaus |
Parallel Strategies Selection. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette, Pierre Schaus |
Efficient Filtering for the Unary Resource with Family-Based Transition Times. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault |
A Global Constraint for Closed Frequent Pattern Mining. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Finding Alternative Musical Scales. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon |
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|