Search results for "constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Bi-Ru Dai, Cheng-Ru Lin, Ming-Syan Chen	Constrained data clustering by depth control and progressive constraint relaxation.	VLDB J.	2007	DBLP DOI BibTeX RDF	Data mining, Data clustering, Constrained clustering
32	Xiaoping Liu 0003, Hui Shi, Zhengqiang Mao, Liping Zheng	Study on Constraint Information Visualization in CSCD.	CSCWD	2006	DBLP DOI BibTeX RDF
32	Parke Godfrey, Jarek Gryz, Calisto Zuzarte	Exploiting Constraint-Like Data Characterizations in Query Optimization.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
31	Akansha Gautam, Venktesh V, Sarah Masud	Fake News Detection System Using XLNet Model with Topic Distributions: CONSTRAINT@AAAI2021 Shared Task.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
31	Anna Glazkova, Maksim Glazkov, Timofey Trifonov	g2tmn at Constraint@AAAI2021: Exploiting CT-BERT and Ensembling Learning for COVID-19 Fake News Detection.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
31	Renyuan Liu, Xiaobing Zhou	Extracting Latent Information from Datasets in CONSTRAINT 2021 Shared Task.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
31	Parth Patwa, Mohit Bhardwaj, Vineeth Guptha, Gitanjali Kumari, Shivam Sharma, Srinivas PYKL, Amitava Das, Asif Ekbal, Md. Shad Akhtar, Tanmoy Chakraborty 0002	Overview of CONSTRAINT 2021 Shared Tasks: Detecting English COVID-19 Fake News and Hindi Hostile Posts.	CONSTRAINT@AAAI	2021	DBLP DOI BibTeX RDF
31	Jean-Charles Régin, Arnaud Malapert	Parallel Constraint Programming.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
31	Alejandro Arbelaez, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001	Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks.	Handbook of Parallel Constraint Reasoning	2018	DBLP DOI BibTeX RDF
31	Manuel Bodirsky, Marcello Mamino	Constraint Satisfaction Problems over Numeric Domains.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
31	Martin C. Cooper, Stanislav Zivný	Hybrid Tractable Classes of Constraint Problems.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
31	Mark Jerrum	Counting Constraint Satisfaction Problems.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
31	Gregory Z. Gutin, Anders Yeo	Parameterized Constraint Satisfaction Problems: a Survey.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
31	Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis	The Inductive Constraint Programming Loop.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
31	Amine Balafrej, Christian Bessiere, Anastasia Paparrizou, Gilles Trombettoni	Adapting Consistency in Constraint Solving.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
31	Valerio Grossi, Tias Guns, Anna Monreale, Mirco Nanni, Siegfried Nijssen	Partition-Based Clustering Using Constraint Optimization.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
31	Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh	New Approaches to Constraint Acquisition.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
31	Luc De Raedt, Anton Dries, Tias Guns, Christian Bessiere	Learning Constraint Satisfaction Problems: An ILP Perspective.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
31	Nicolas Beldiceanu, Helmut Simonis	ModelSeeker: Extracting Global Constraint Models from Positive Examples.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
31	Milan Hladík, Jaroslav Horácek	Interval Linear Programming Techniques in Constraint Programming and Global Optimization.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
31	P. S. V. Nataraj, Mukesh D. Patil	Reliable and Robust Automated Synthesis of QFT Controller for Nonlinear Magnetic Levitation System Using Interval Constraint Satisfaction Techniques.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
31	Aline Jaimes, Craig Tweedy, Tanja Magoc, Vladik Kreinovich, Martine Ceberio	Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-objective Constraint Optimization.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
31	Martine Ceberio, Olga Kosheleva, Vladik Kreinovich	Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
31	Vladik Kreinovich, Juan Ferret, Martine Ceberio	Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
31	Jérémy Besson, Jean-François Boulicaut, Tias Guns, Siegfried Nijssen	Generalizing Itemset Mining in a Constraint Programming Setting.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
31	Saso Dzeroski	Inductive Databases and Constraint-based Data Mining: Introduction and Overview.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
31	Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin	09441 Abstracts Collection - The Constraint Satisfaction Problem: Complexity and Approximability.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
31	Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin	09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
31	Peter Z. Revesz	Constraint Databases and Geographic Information Systems.	Constraint Databases, Geometric Elimination and Geographic Information Systems	2007	DBLP BibTeX RDF
31	Bernd Bank, Max J. Egenhofer, Bart Kuijpers	07212 Abstracts Collection -- Constraint Databases, Geometric Elimination ang Geographic Information Systems.	Constraint Databases, Geometric Elimination and Geographic Information Systems	2007	DBLP BibTeX RDF
31	Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz	07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems.	Constraint Databases, Geometric Elimination and Geographic Information Systems	2007	DBLP BibTeX RDF
31	Boi Faltings	Distributed Constraint Programming.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Philippe Baptiste, Philippe Laborie, Claude Le Pape, Wim Nuijten	Constraint-Based Scheduling and Planning.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Kim Marriott, Peter J. Stuckey, Mark Wallace 0001	Constraint Logic Programming.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Helmut Simonis	Constraint Applications in Networks.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Ian P. Gent, Karen E. Petrie, Jean-François Puget	Symmetry in Constraint Programming.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Christian Schulte 0001, Mats Carlsson	Finite Domain Constraint Programming Systems.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Rina Dechter	Tractable Structures for Constraint Satisfaction Problems.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Eugene C. Freuder, Alan K. Mackworth	Constraint Satisfaction: An Emerging Paradigm.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	John N. Hooker	Operations Research Methods in Constraint Programming.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Christian Bessiere	Constraint Propagation.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	David A. Cohen, Peter Jeavons 0001	The Complexity of Constraint Languages.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
31	Jean-François Boulicaut, Luc De Raedt, Heikki Mannila (eds.)	Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers	Constraint-Based Mining and Inductive Databases	2005	DBLP DOI BibTeX RDF
31	Roberto J. Bayardo	The Hows, Whys, and Whens of Constraints in Itemset and Rule Discovery.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Xiaoxin Yin, Jiawei Han 0001, Jiong Yang 0001, Philip S. Yu	CrossMine: Efficient Classification Across Multiple Database Relations.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Rosa Meo, Pier Luca Lanzi, Maristella Matera, Danilo Careggio, Roberto Esposito	Employing Inductive Databases in Concrete Applications.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Kimmo Hätönen, Mika Klemettinen, Markus Miettinen	Remarks on the Industrial Application of Inductive Database Technologies.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Cheikh Talibouya Diop, Arnaud Giacometti, Dominique Laurent 0001, Nicolas Spyratos	Computation of Mining Queries: An Algebraic Approach.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Mohammed Javeed Zaki, Nilanjana De, Feng Gao 0016, Paolo Palmerini, Nagender Parimi, Jeevan Pathuri, Benjarath Phoophakdee, Joe Urban	Generic Pattern Mining Via Data Mining Template Library.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Toon Calders, Christophe Rigotti, Jean-François Boulicaut	A Survey on Condensed Representations for Frequent Sets.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Björn Bringmann	To See the Wood for the Trees: Mining Frequent Tree Patterns.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Fabien De Marchi, Frédéric Flouvat, Jean-Marc Petit	Adaptive Strategies for Mining the Positive Border of Interesting Patterns: Application to Inclusion Dependencies in Databases.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Jouni K. Seppänen, Heikki Mannila	Boolean Formulas and Frequent Sets.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Gianluigi Greco, Antonella Guzzo, Giuseppe Manco 0001, Luigi Pontieri, Domenico Saccà	Mining Constrained Graphs: The Case of Workflow Systems.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Rosa Meo, Marco Botta, Roberto Esposito, Arianna Gallo	A Novel Incremental Approach to Association Rules Mining in Inductive Databases.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
31	Dina Q. Goldin	Constraint Algebras.	Constraint Databases	2000	DBLP BibTeX RDF
31	Jan Chomicki, Leonid Libkin	Aggregate Languages for Constraint Databases.	Constraint Databases	2000	DBLP BibTeX RDF
31	Marc Gyssens, Luc Vandeurzen, Dirk Van Gucht	Linear-Constraint Databases.	Constraint Databases	2000	DBLP BibTeX RDF
31	Jan Van den Bussche	Constraint Databases, Queries, and Query Languages.	Constraint Databases	2000	DBLP BibTeX RDF
31	Frédéric Goualard, Frédéric Benhamou	Debugging Constraint Programs by Store Inspection.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
31	Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo	An Assertion Language for Constraint Logic Programs.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
31	Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco	Using Constraint Visualisation Tools.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
31	Manuel Carro, Manuel V. Hermenegildo	Tools for Constraint Visualisation: The VIFID/TRIFID Tool.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
31	Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski	Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
31	Lígia Ferreira, Salvador Abreu	A Constraint Logic Programming Framwork in Java.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
31	Martin Henz, Tobias Müller 0002, Ka Boon Ng	Figaro: Yet Another Constraint Programming Library.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
31	Joseph C. Pemberton, Flavius Galiber III	A constraint-based approach to satellite scheduling.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
31	Harald Meyer auf'm Hofe	Nurse rostering as constraint satisfaction with fuzzy constraints and inferred control strategies.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
31	Barbara M. Smith, Colin J. Layfield, Anthony Wren	A constraint programming pre-processor for a bus driver scheduling system.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
31	Richard J. Wallace, Eugene C. Freuder	Introduction to DIMACS workshop on Constraint Programming and Large Scale Discrete Optimization.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
31	Fabian Zabatta	Multithreaded constraint programming: A hybrid approach.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
31	Jean-Charles Régin	Minimization of the number of breaks in sports scheduling problems using constraint programming.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
31	A. E. Eiben, Paul-Erik Raué, Zsófia Ruttkay	GA-easy and GA-hard Constraint Satisfaction Problems.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
31	Francesca Rossi 0001	Redundant Hidden Variables in Finite Domain Constraint Problems.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
31	Christian Codognet, Philippe Codognet	A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
31	Barbara M. Smith	In Search of Exceptionally Difficult Constraint Satisfaction Problems.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
31	Antoine Rauzy	Toupie: a Constraint Language for Model Checking	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville	Design, Implementation, and Evaluation of the Constraint Language cc(FD)	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Frédéric Benhamou	Interval Constraint Logic Programming	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Michel Rueher	An Architecture for Cooperating Constraint Solvers on Reals	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Philippe Codognet, Giuseppe Nardiello	Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Jean-Louis Imbert	Linear Constraint Solving in CLP-Languages	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Ugo Montanari, Francesca Rossi 0001	Concurrency and Concurrent Constraint Programming	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Hubert Comon	Constraints in Term Algebras: An Overview of Constraint Solving Techniques	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Thom W. Frühwirth	Constraint Handling Rules	Constraint Programming	1994	DBLP DOI BibTeX RDF
31	Philippe Codognet, Daniel Diaz 0001	Boolean Constraint Solving Using clp(FD).	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
31	Björn Carlson, Sverker Janson, Johan Montelius	Aspects of Constraint Solving for AKL (Extended Abstract).	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
31	Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott	Independence in Constraint Logic Programs.	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
31	Sverker Janson, Johan Montelius, Seif Haridi	A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract).	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
31	Ugo Montanari, Francesca Rossi 0001, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo	Contextual Nets and Constraint Logic Programming.	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
31	Martin F. van Bommel, Grant E. Weddell	Reasoning About Equations and Functional Dependencies on Complex Objects.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	complex object types, property value path, property paths, property value navigation, directed labeled graph, equational constraint, stratification condition, data structures, query processing, database management systems, query languages, query language, query languages, object-oriented databases, directed graphs, reasoning, database theory, functional dependencies, decision procedures, conjunctive queries, undecidable, complex objects, semantic data models, object-oriented data models, equations, constraint theory, constraint theory, constraint language
31	Manuel Bodirsky, Jan Kára	The complexity of temporal constraint satisfaction problems.	STOC	2008	DBLP DOI BibTeX RDF	complexity, constraint satisfaction, temporal reasoning
31	Francisco Azevedo	Cardinal: A Finite Sets Constraint Solver.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP
31	Miguel A. Salido, Federico Barber	Constrainedness and Redundancy by Constraint Ordering.	IBERAMIA	2004	DBLP DOI BibTeX RDF	constrainedness, heuristics, Constraint Satisfaction Problems
31	Klaus Meer	On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.	FLOPS	2002	DBLP DOI BibTeX RDF	algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width
31	Harald Meyer auf'm Hofe	Solving Rostering Tasks as Constraint Optimization.	PATAT	2000	DBLP DOI BibTeX RDF	employee timetabling, commercial packages, constraint based methods, artificial intelligence, local search, soft computing
31	Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella	A Compositional Semantics for CHR with Propagation Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
30	Brad T. Vander Zanden	An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	incremental constraint satisfaction, constraints, interactive systems
30	Anirban Mondal, Sanjay Kumar Madria, Masaru Kitsuregawa	An economic incentive model for encouraging peer collaboration in mobile-P2P networks with support for constraint queries.	Peer-to-Peer Netw. Appl.	2009	DBLP DOI BibTeX RDF	Royalty model, Peer participation, Constraint queries, Constraint indexing, Incentives, Economic model, Mobile peer-to-peer
30	Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell	Extending dynamic constraint detection with disjunctive constraints.	WODA	2008	DBLP DOI BibTeX RDF	disjunctive constraint, dynamic constraint inference, behavioral specification