The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/cp

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 (68) 2007 (68) 2008 (58) 2009 (65) 2010 (51) 2011 (62) 2012 (72) 2013 (65) 2014 (72) 2015 (50) 2016 (55) 2017 (46) 2018 (48)
Publication types (Num. hits)
inproceedings(1559) proceedings(24)
Venues (Conferences, Journals, ...)
CP(1583)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 71 occurrences of 53 keywords

Results
Found 1583 publication records. Showing 1583 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fanghui Liu, Waldemar Cruz, Laurent Michel A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philippe Vismara, Nicolas Briot A Circuit Constraint for Multiple Tours Problems. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca Unifying Reserve Design Strategies with Graph Theory and Constraint Programming. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Linnea Ingmar, Christian Schulte 0001 Making Compact-Table Compact. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider An SMT Approach to Fractional Hypertree Width. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anthony Schneider, Berthe Y. Choueiry PW-AC: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong Augmenting Stream Constraint Programming with Eventuality Conditions. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh The Effect of Structural Measures and Merges on SAT Solver Performance. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack Solver-Independent Large Neighbourhood Search. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Nadjib Lazaar, Mehdi Maamar User's Constraints in Itemset Mining. Search on Bibsonomy CP The full citation details ... 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. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Propagating Regular Membership with Dashed Strings. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Perez, Brendan Rappazzo, Carla P. Gomes Extending the Capacity of 1 / f Noise Generation. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hong Xu 0003, Sven Koenig, T. K. Satish Kumar Towards Effective Deep Learning for Constraint Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florent R. Madelaine, Stéphane Secouard Quantified Valued Constraint Satisfaction Problem. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Holger H. Hoos, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider Portfolio-Based Algorithm Selection for Circuit QBFs. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Khoi D. Hoang, Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli, Roie Zivan A Large Neighboring Search Schema for Multi-agent Optimization. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dmitry Malioutov, Kuldeep S. Meel MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emir Demirovic, Geoffrey Chu, Peter J. Stuckey Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gleb 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. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florian Lonsing, Uwe Egly Evaluating QBF Solvers: Quantifier Alternations Matter. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Quentin Cappart, Charles Thomas 0005, Pierre Schaus, Louis-Martin Rousseau A Constraint Programming Approach for Solving Patient Transportation Problems. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Tesch Improving Energetic Propagations for Cumulative Scheduling. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Massimo Bono, Alfonso Emilio Gerevini Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrick Spracklen, Özgür Akgün, Ian Miguel Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dimosthenis C. Tsouros, Kostas Stergiou 0001, Panagiotis G. Sarigiannidis Efficient Methods for Constraint Acquisition. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arthur Bit-Monnot A Constraint-Based Encoding for Domain-Independent Temporal Planning. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné Finding Solutions by Finding Inconsistencies. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale Metamorphic Testing of Constraint Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Liel Cohen, Roie Zivan Balancing Asymmetry in Max-sum Using Split Constraint Factor Graphs. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda Towards Semi-Automatic Learning-Based Model Transformation. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Meriem Khelifa, Dalila Boughaci, Esma Aïmeur A Novel Graph-Based Heuristic Approach for Solving Sport Scheduling Problem. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey Sequential Precede Chain for Value Symmetry Elimination. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuel Hebrard, George Katsirelos Clause Learning and New Bounds for Graph Coloring. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John N. Hooker (eds.) Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh Learning-Sensitive Backdoors with Restarts. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Waldemar Cruz, Fanghui Liu, Laurent Michel Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Prateek Kumar 0001, Ruben Martins, Sukrut Rao Approximation Strategies for Incomplete MaxSAT. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rohan Fossé, Laurent Simon On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anthony Palmieri, Guillaume Perez Objective as a Feature for Robust Search Strategies. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vadim Levit, Amnon Meisels Distributed Constrained Search by Selfish Agents for Efficient Equilibria. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin C. Cooper, Wafa Jguirim, David A. Cohen Domain Reduction for Valued Constraints by Generalising Methods from CSP. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shan 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. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais On Maximal Frequent Itemsets Mining with Constraints. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Linjie 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. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucy Ham, Marcel Jackson All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel A Tolerant Algebraic Side-Channel Attack on AES Using CP. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Víctor Dalmau Conjunctions of Among Constraints. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohadeseh Ganji, James Bailey 0001, Peter J. Stuckey A Declarative Approach to Constrained Community Detection. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser, Kyle Simpson, James Trimble 0001 On Maximum Weight Clique Algorithms, and How They Are Evaluated. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure Combining Nogoods in Restart-Based Search. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki Minimum-Width Confidence Bands via Constraint Optimization. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simon de Givry, George Katsirelos Clique Cuts in Weighted Constraint Satisfaction. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hong Xu 0003, Sven Koenig, T. K. Satish Kumar A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gleb 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. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko Reduced Cost Fixing in MaxSAT. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Victor Lagerkvist, Magnus Wahlström Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Edward Lam, Pascal Van Hentenryck Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Schaus, John O. R. Aoga, Tias Guns CoverSize: A Global Constraint for Frequency-Based Itemset Mining. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou Defining and Evaluating Heuristics for the Compilation of Constraint Networks. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1J. Christopher Beck (eds.) Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Willem-Jan van Hoeve, Sridhar R. Tayur Integer and Constraint Programming for Batch Annealing Process Planning. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen Constraint Handling in Flight Planning. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohd. Hafiz Hasan, Pascal Van Hentenryck A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John N. Hooker Job Sequencing Bounds from Decision Diagrams. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel Search Strategies for Floating Point Constraint Systems. Search on Bibsonomy CP The full citation details ... 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. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anna 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. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erez Bilgory, Eyal Bin, Avi Ziv Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guillaume Perez, Jean-Charles Régin MDDs: Sampling and Probability Constraints. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1K. Subramani, Piotr J. Wojciechowski Analyzing Lattice Point Feasibility in UTVPI Constraints. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adrian Goldwaser, Andreas Schutt Optimal Torpedo Scheduling. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohamed Siala 0002, Barry O'Sullivan Rotation-Based Formulation for Stable Matching. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis Generating Linear Invariants for a Conjunction of Automata Constraints. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost Arc Consistency via Linear Programming. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Håkan Kjellerstrand Optimizing SAT Encodings for Arithmetic Constraints. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kenneth D. Young, Thibaut Feydy, Andreas Schutt Constraint Programming Applied to the Multi-Skill Project Scheduling Problem. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maxime Chabert, Christine Solnon Constraint Programming for Multi-criteria Conceptual Clustering. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis among Implied Constraints for Two Families of Time-Series Constraints. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith Constraint-Based Synthesis of Datalog Programs. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh 0001 Preference Elicitation for DCOPs. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cédric Pralet An Incomplete Constraint-Based System for Scheduling with Renewable Resources. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack A Novel Approach to String Constraint Solving. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tommaso Urli, Philip Kilby Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus Extending Compact-Table to Basic Smart Tables. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clément Carbonnel The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser, James Trimble 0001 Morphing Between Stable Matching Problems. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Gerault, Marine Minier, Christine Solnon Constraint Programming Models for Chosen Key Differential Cryptanalysis. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Roy, Guillaume Perez, Jean-Charles Régin, Alexandre Papadopoulos, François Pachet, Marco Marchini Enforcing Structure on Temporal Sequences: The Allen Constraint. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jack Goffinet, Raghuram Ramanujan Monte-Carlo Tree Search for the Maximum Satisfiability Problem. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey A Bounded Path Propagator on Directed Graphs. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1583 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license