The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for CP with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995 (44) 1996 (62) 1997 (43) 1998 (48) 1999 (42) 2000 (48) 2001 (85) 2002 (84) 2003 (127) 2004 (98) 2005 (122) 2006 (69) 2007 (69) 2008 (58) 2009 (65) 2010 (51) 2011 (62) 2012 (72) 2013 (65) 2014 (72) 2015 (50) 2016 (55) 2017 (46) 2018 (48) 2019 (45) 2020 (56) 2021 (61) 2022 (43) 2023 (51)
Publication types (Num. hits)
inproceedings(1812) proceedings(29)
Venues (Conferences, Journals, ...)
CP(1839) EuroPKI(1) MSWiM(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 78 occurrences of 60 keywords

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