|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13289 occurrences of 5329 keywords
|
|
|
Results
Found 33126 publication records. Showing 33126 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Terry Cumaranatunge, Ethan V. Munson |
Memory Scalability in Constraint-Based Multimedia Style Sheet Systems. |
EP |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Nagu R. Dhanwada, Ranga Vemuri |
Constraint Allocation in Analog System Synthesis. |
VLSI Design |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003 |
Error-Correcting Source Code. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Ranga Vemuri, R. Kalyanaraman |
Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming. |
IEEE Trans. Very Large Scale Integr. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
Constraint-Generating Dependencies. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Sin Yeung Lee, Tok Wang Ling |
Improving Integrity Constraint Checking for Stratified Deductive Databases. |
DEXA |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Pierre Lim, Peter J. Stuckey |
A Constraint Logic Programming Shell. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Paul Maier, Martin Sachenbacher |
Constraint Optimization and Abstraction for Embedded Intelligent Systems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
automated abstraction, embedded systems, decomposition, heuristic search, Constraint optimization |
26 | Rosella Gennari, Ornella Mich |
Constraint-Based Temporal Reasoning for E-Learning with LODE. |
CP |
2007 |
DBLP DOI BibTeX RDF |
automated temporal reasoning, e-learning, assistive technology, constraint programming |
26 | Ayoub Insa Corréa, André Langevin, Louis-Martin Rousseau |
Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming. |
CPAIOR |
2004 |
DBLP DOI BibTeX RDF |
material handling systems, routing, constraint programming, hybrid model, Automated guided vehicles |
26 | Carla P. Gomes, Meinolf Sellmann |
Streamlined Constraint Reasoning. |
CP |
2004 |
DBLP DOI BibTeX RDF |
branching strategies, search, constraint reasoning |
26 | Viet Nguyen, Djamila Sam-Haroud, Boi Faltings |
Dynamic Distributed BackJumping. |
CSCLP |
2004 |
DBLP DOI BibTeX RDF |
Distributed Systems, Multi-Agent Systems, Search, Constraint Satisfaction |
26 | Ali Dasdan |
A strongly polynomial-time algorithm for over-constraint resolution: efficient debugging of timing constraint violations. |
CODES |
2002 |
DBLP DOI BibTeX RDF |
scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis |
25 | Manuel Bodirsky, Hubie Chen |
Relatively quantified constraint satisfaction. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Quantified constraint satisfaction, Computational complexity |
25 | Thomas T. Hildebrandt, Hugo A. López 0001 |
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming |
25 | Ákos Horváth 0001, Dániel Varró |
CSP(M): Constraint Satisfaction Problem over Models. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction programming, graph transformation |
25 | Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko Sakurai, Atsushi Iwasaki, Makoto Yokoo |
Coalition Structure Generation Utilizing Compact Characteristic Function Representations. |
CP |
2009 |
DBLP DOI BibTeX RDF |
coalition structure generation, Multiagent systems, constraint optimization |
25 | Wolfgang Achtziger, Christian Kanzow |
Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Vanishing constraints, Constrained optimization, Optimality conditions, Structural optimization, Constraint qualifications, Mathematical programs with equilibrium constraints |
25 | Emilie Charrier, Lilian Buzer |
Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint. |
IWCIA |
2008 |
DBLP DOI BibTeX RDF |
integer convex hull, Bezout identity, logarithmic time complexity, Linear constraint, continued fraction |
25 | Luc De Raedt, Tias Guns, Siegfried Nijssen |
Constraint programming for itemset mining. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
constraint programming, itemset mining |
25 | Arnaud Gotlieb, Matthieu Petit |
Constraint Reasoning in Path-Oriented Random Testing. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Random Testing, Constraint reasoning, Path Testing |
25 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Program analysis as constraint solving. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis |
25 | Sun Meng, Farhad Arbab |
Web services choreography and orchestration in Reo and constraint automata. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
web services, orchestration, choreography, Reo, constraint automata |
25 | Malek Mouhoub, Amrudee Sukpan |
Solving conditional and composite constraint satisfaction problems. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
local search, constraint satisfaction, arc consistency |
25 | Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth |
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
CHR (Constraint Handling Rules), first-order constraints solving, theory of finite or infinite trees, Prolog, unification |
25 | Daniel Große, Rüdiger Ebendt, Rolf Drechsler |
Improvements for constraint solving in the systemc verification library. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
constraint-based randomization, systemC verification library, systemC |
25 | David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. |
Constraints An Int. J. |
2006 |
DBLP DOI BibTeX RDF |
Symmetry, Constraint satisfaction problems |
25 | Nikolai Kosmatov |
A constraint solver for sequences and its applications. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
verification, validation, sequences, constraint solver |
25 | Ozcan Ozturk 0001, Guilin Chen, Mahmut T. Kandemir |
Optimizing code parallelization through a constraint network based approach. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
compiler, constraint network, chip multiprocessing |
25 | Anton Chechetka, Katia P. Sycara |
A decentralized variable ordering method for distributed constraint optimization. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
constraint satisfaction |
25 | Robert P. Bosch Jr., Michael A. Trick |
Constraint Programming and Hybrid Formulations for Three Life Designs. |
Ann. Oper. Res. |
2004 |
DBLP DOI BibTeX RDF |
hybrid formulation, cellular automata, integer programming, constraint programming, game of Life |
25 | Slim Abdennadher, Christophe Rigotti |
Automatic generation of rule-based constraint solvers over finite domains. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
Rule-based constraint programming, generation of solvers, finite domains |
25 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A constraint solver to animate a B specification. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints |
25 | Andrew Fish, John Howse |
Towards a Default Reading for Constraint Diagrams. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
constraint diagrams, formal methods, software specification, diagrammatic reasoning, Visual formalisms |
25 | Peter Zoeteweij, Farhad Arbab |
A Component-Based Parallel Constraint Solver. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
parallelization, coordination, constraint solving, component-based software engineering |
25 | Yan-Tao Li, Shi-Min Hu 0001, Jia-Guang Sun 0001 |
On the Numerical Redundancies of Geometric Constraint Systems. |
PG |
2001 |
DBLP DOI BibTeX RDF |
numerical redundancies, geometric constraint, graph reduction |
25 | Abdulwahed M. Abbas, Edward P. K. Tsang |
Constraint-Based Timetabling-A Case Study. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
software engineering, Constraint-Satisfaction, timetabling |
25 | Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou |
Symbolic-interval cooperation in constraint programming. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
interval arithmetic, constraint solving, symbolic computation |
25 | Enric Mayol, Ernest Teniente |
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. |
FoIKS |
2000 |
DBLP DOI BibTeX RDF |
integrity constraint maintenance, view updating |
25 | Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi |
Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. |
Multim. Syst. |
1999 |
DBLP DOI BibTeX RDF |
Temporal constraint systems, Interactive systems, Multimedia authoring, Incremental algorithms, Multimedia documents |
25 | Reem Bahgat, Samir E. AbdelRahman |
Combining Constraint Logic Programming Techniques for Solving Linear Problems. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
Interval Reasoning, Domain Splitting, Simplex-Like Solver, Constraint Logic Programming |
25 | Jae Yeol Lee |
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction. |
Automated Deduction in Geometry |
1998 |
DBLP DOI BibTeX RDF |
variational design, constructive constraint solving, graph reduction, Parametric design |
25 | Arnaud Gotlieb, Bernard Botella, Michel Rueher |
Automatic Test Data Generation Using Constraint Solving Techniques. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
constraint solving techniques, structural testing, global constraints, automatic test data generation |
25 | Marc-Michel Corsini, Antoine Rauzy |
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
Symbolic Model Checking, Constraint Languages |
25 | Michael Sannella |
Skyblue: A Multi-way Local Propagation Constraint Solver for User Interface Construction. |
ACM Symposium on User Interface Software and Technology |
1994 |
DBLP DOI BibTeX RDF |
SkyBlue, local propagation, user interface implementation, constraints, constraint hierarchies |
25 | Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas |
Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. |
DEXA |
1993 |
DBLP DOI BibTeX RDF |
Expert Systems Architecture, Constraint Satisfaction, Medical Information Systems |
25 | Kok-Phuang Tan, T. C. Tan |
An Improved Join Dependency for Efficient Constraint Checking. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
Database design, join dependency, constraint checking |
25 | Kai Zercher |
Explanation-Based Generalization and Constraint Propagation with Interval Labels. |
EWSL |
1991 |
DBLP DOI BibTeX RDF |
Explanation-based generalization, interval labels, moderate generalization, constraint propagation |
25 | Tanmoy Chakraborty 0002, Kai Shu, H. Russell Bernard, Huan Liu 0001, Md. Shad Akhtar (eds.) |
Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Mohammed Azhan, Mohammad Ahmad |
LaDiff ULMFiT: A Layer Differentiated Training Approach for ULMFiT. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Parth Patwa, Shivam Sharma, Srinivas PYKL, Vineeth Guptha, Gitanjali Kumari, Md. Shad Akhtar, Asif Ekbal, Amitava Das, Tanmoy Chakraborty 0002 |
Fighting an Infodemic: COVID-19 Fake News Dataset. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Siyao Zhou 0001, Jie Li 0054, Haiyan Ding |
Fake News and Hostile Posts Detection Using an Ensemble Learning Model. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ojasv Kamal, Adarsh Kumar, Tejas Vaidhya |
Hostility Detection in Hindi Leveraging Pre-trained Language Models. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Siva Sai, Alfred W. Jacob, Sakshi Kalra, Yashvardhan Sharma |
Stacked Embeddings and Multiple Fine-Tuned XLM-RoBERTa Models for Enhanced Hostility Identification. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Xiangyang Li, Yu Xia, Xiang Long, Zheng Li, Sujian Li |
Exploring Text-Transformers in AAAI 2021 Shared Task: COVID-19 Fake News Detection in English. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ben Chen, Bin Chen, Dehong Gao, Qijin Chen, Chengfu Huo, Xiaonan Meng, Weijun Ren, Yang Zhou |
Transformer-Based Language Model Fine-Tuning Methods for COVID-19 Fake News Detection. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ipek Baris, Zeyd Boukhers |
ECOL: Early Detection of COVID Lies Using Content, Prior Knowledge and Source Information. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Boshko Koloski, Timen Stepisnik Perdih, Senja Pollak, Blaz Skrlj |
Identification of COVID-19 Related Fake News via Neural Stacking. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Omar Sharif, Mohammed Moshiul Hoque |
Identification and Classification of Textual Aggression in Social Media: Resource Creation and Evaluation. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Ashwin Singh, Rudraroop Ray |
Identifying Offensive Content in Social Media Posts. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Arkadipta De, Venkatesh Elangovan, Kaushal Kumar Maurya, Maunendra Sankar Desarkar |
Coarse and Fine-Grained Hostility Detection in Hindi Posts Using Fine Tuned Multilingual Embeddings. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yejin Bang, Etsuko Ishii, Samuel Cahyawijaya, Ziwei Ji, Pascale Fung |
Model Generalization on COVID-19 Fake News Detection. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Tathagata Raha, Sayar Ghosh Roy, Ujwal Narayan, Zubair Abid, Vasudeva Varma |
Task Adaptive Pretraining of Transformers for Hostility Detection. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Shreyash Arya, Hridoy Sankar Dutta |
Revealing the Blackmarket Retweet Game: A Hybrid Approach. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Varad Bhatnagar, Prince Kumar, Sairam Moghili, Pushpak Bhattacharyya |
Divide and Conquer: An Ensemble Approach for Hostile Post Detection in Hindi. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Sourya Dipta Das, Ayan Basak, Saikat Dutta 0002 |
A Heuristic-Driven Ensemble Framework for COVID-19 Fake News Detection. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Anand Zutshi, Aman Raj |
Tackling the Infodemic: Analysis Using Transformer Based Models. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Apurva Wani, Isha Joshi, Snehal Ishwar Khandve, Vedangi Wagh, Raviraj Joshi |
Evaluating Deep Learning Approaches for Covid19 Fake News Detection. |
CONSTRAINT@AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Antti E. J. Hyvärinen, Christoph M. Wintersteiger |
Parallel Satisfiability Modulo Theories. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown |
Selection and Configuration of Parallel Portfolios. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
Parallel Answer Set Programming. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Marijn J. H. Heule, Oliver Kullmann, Armin Biere |
Cube-and-Conquer for Satisfiability. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Inês Lynce, Vasco M. Manquinho, Ruben Martins |
Parallel Maximum Satisfiability. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Florian Lonsing, Martina Seidl |
Parallel Solving of Quantified Boolean Formulas. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch |
Parallel Solvers for Mixed Integer Linear Optimization. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz 0002 |
Parallel Model-Based Diagnosis. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault |
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Maria Paola Bonacina |
Parallel Theorem Proving. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Tom van Dijk, Jaco van de Pol |
Multi-core Decision Diagrams. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti |
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Alex Fukunaga, Adi Botea, Yuu Jinnai, Akihiro Kishimoto |
Parallel A* for State-Space Search. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Tomás Balyo, Carsten Sinz |
Parallel Satisfiability. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Philippe Codognet, Danny Munera, Daniel Diaz 0001, Salvador Abreu |
Parallel Local Search. |
Handbook of Parallel Constraint Reasoning |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Andrei A. Krokhin, Stanislav Zivný (eds.) |
The Constraint Satisfaction Problem: Complexity and Approximability |
The Constraint Satisfaction Problem |
2017 |
DBLP BibTeX RDF |
|
25 | |
Front Matter, Table of Contents, Preface, List of Authors. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Libor Barto, Marcin Kozik |
Absorption in Universal Algebra and CSP. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Andrei A. Krokhin, Stanislav Zivný |
The Complexity of Valued CSPs. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Libor Barto, Andrei A. Krokhin, Ross Willard |
Polymorphisms, and How to Use Them. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Konstantin Makarychev, Yury Makarychev |
Approximation Algorithms for CSPs. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Heng Guo 0001, Pinyan Lu |
On the Complexity of Holant Problems. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Benoît Larose |
Algebra and the Complexity of Digraph CSPs: a Survey. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Serge Gaspers, Sebastian Ordyniak, Stefan Szeider |
Backdoor Sets for CSP. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Barnaby Martin |
Quantified Constraints in Twenty Seventeen. |
The Constraint Satisfaction Problem |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Barry Hurley 0001, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis |
ICON Loop Health Show Case. |
Data Mining and Constraint Programming |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Anton Dries, Tias Guns, Siegfried Nijssen, Behrouz Babaki, Thanh Le Van, Benjamin Négrevergne, Sergey Paramonov 0001, Luc De Raedt |
Modeling in MiningZinc. |
Data Mining and Constraint Programming |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Passerini |
Learning Modulo Theories. |
Data Mining and Constraint Programming |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Barry Hurley 0001, Barry O'Sullivan |
Introduction to Combinatorial Optimisation in Numberjack. |
Data Mining and Constraint Programming |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Mirco Nanni, Lars Kotthoff, Riccardo Guidotti, Barry O'Sullivan, Dino Pedreschi |
ICON Loop Carpooling Show Case. |
Data Mining and Constraint Programming |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Lars Kotthoff |
Algorithm Selection for Combinatorial Search Problems: A Survey. |
Data Mining and Constraint Programming |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Barry Hurley 0001, Lars Kotthoff, Yuri Malitsky, Deepak Mehta 0001, Barry O'Sullivan |
Advanced Portfolio Techniques. |
Data Mining and Constraint Programming |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 33126 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|