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) 2019 (45)
Publication types (Num. hits)
inproceedings(1603) proceedings(25)
Venues (Conferences, Journals, ...)
CP(1628)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 71 occurrences of 53 keywords

Results
Found 1628 publication records. Showing 1628 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marijn J. H. Heule Trimming Graphs Using Clausal Proof Optimization. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Wolfgang Reif Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Kuhlemann, Meinolf Sellmann, Kevin Tierney Exploiting Counterfactuals for Scalable Stochastic Optimization. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman Functional Significance Checking in Noisy Gene Regulatory Networks. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, William Pettersson, Patrick Prosser Understanding the Empirical Hardness of Random Optimisation Problems. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas 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 Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dimosthenis C. Tsouros, Kostas Stergiou 0001, Christian Bessiere Structure-Driven Multiple Constraint Acquisition. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi On Symbolic Approaches for Computing the Matrix Permanent. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Markus Zisser An Improved GPU-Based SAT Model Counter. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stanislav Murín, Hana Rudová Scheduling of Mobile Robots Using Constraint Programming. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Artem Kaznatcheev, David A. Cohen, Peter G. Jeavons Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cristian Galleguillos, Zeynep Kiziltan, Alina Sîrbu, Özalp Babaoglu Constraint Programming-Based Job Dispatching for Modern HPC Applications. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos 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. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rocsildes Canoy, Tias Guns Vehicle Routing by Learning from Historical Solutions. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giacomo Da Col, Erich Christian Teppan Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert Ganian, Sebastian Ordyniak, Stefan Szeider A Join-Based Hybrid Parameter for Constraint Satisfaction. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Danuta Sorina Chisca, Michele Lombardi 0001, Michela Milano, Barry O'Sullivan Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Mitchell Guarded Constraint Models Define Treewidth Preserving Reductions. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rodrigo 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. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexis de Colnet, Kuldeep S. Meel Dual Hashing-Based Algorithms for Discrete Integration. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho Encodings for Enumeration-Based Program Synthesis. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Buser Say, Scott Sanner, Sylvie Thiébaux Reward Potentials for Planning with Learned Neural Network Transition Models. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Md. Solimul Chowdhury, Martin Müller 0003, Jia-Huai You Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1John N. Hooker Improved Job Sequencing Bounds from Decision Diagrams. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter J. Stuckey, Guido Tack Compiling Conditional Constraints. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel Automatic Streamlining for Constrained Optimisation. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1John O. R. Aoga, Siegfried Nijssen, Pierre Schaus Modeling Pattern Set Mining Using Boolean Circuits. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nadeem Al-Kurdi, Benjamin Pillot, Carmen Gervet, Laurent Linguet Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus Generic Constraint-Based Block Modeling Using Constraint Programming. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xavier Gillard, Pierre Schaus, Yves Deville SolverCheck: Declarative Testing of Constraints. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Aarti Gupta Functional Synthesis with Examples. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sara Frimodig, Christian Schulte 0001 Models for Radiation Therapy Patient Scheduling. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicolas Isoart, Jean-Charles Régin Integration of Structural Constraints into TSP Models. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ferdinando Fioretto, Pascal Van Hentenryck Differential Privacy of Hierarchical Census Data: An Optimization Approach. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamed Sami Cherif, Djamal Habet Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski An Incremental SAT-Based Approach to the Graph Colouring Problem. Search on Bibsonomy CP The full citation details ... 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. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emir Demirovic, Peter J. Stuckey Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Li-Cheng Chen, Jie-Hong R. Jiang A Cube Distribution Approach to QBF Solving and Certificate Minimization. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Adriana Pacheco, Cédric Pralet, Stéphanie Roussel 0001 Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1John 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. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weikun Yang, Grigory Fedyukovich, Aarti Gupta Lemma Synthesis for Automating Induction over Algebraic Data Types. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
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
Displaying result #1 - #100 of 1628 (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