The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase constraint satisfaction (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1965-1986 (16) 1987-1988 (17) 1989 (19) 1990 (24) 1991 (20) 1992 (27) 1993 (53) 1994 (61) 1995 (52) 1996 (70) 1997 (62) 1998 (81) 1999 (75) 2000 (102) 2001 (109) 2002 (157) 2003 (159) 2004 (218) 2005 (182) 2006 (174) 2007 (196) 2008 (188) 2009 (181) 2010 (91) 2011 (75) 2012 (68) 2013 (81) 2014 (58) 2015 (70) 2016 (86) 2017 (58) 2018 (51) 2019 (9)
Publication types (Num. hits)
article(898) book(6) incollection(34) inproceedings(1904) phdthesis(43) proceedings(5)
Venues (Conferences, Journals, ...)
CP(226) CoRR(161) Constraints(55) ICTAI(53) Artif. Intell.(49) AAAI(45) IJCAI(41) AAMAS(34) COCOS(32) ECAI(27) SAC(27) Canadian Conference on AI(26) Electronic Colloquium on Compu...(26) J. ACM(25) STOC(25) SARA(23) More (+10 of total 838)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1542 occurrences of 746 keywords

Results
Found 2890 publication records. Showing 2890 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
109Laurent Perrussel, Pierre-Jean Charrel Inconsistent Requirements: An Argumentation View. Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF > Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
88Hans W. Guesgen, Anne Philpott Heuristics for Solving Fuzzy Constraint Satisfaction Problems. Search on Bibsonomy ANNES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Constraint satisfaction, heuristic search, fuzzy set theory, constraint relaxation
78Nicoleta Neagu Studying Interchangeability in Constraint Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF soft constraint satisfaction problems, constraint satisfaction problem, interchangeability
76Manuel Bodirsky, Marcello Mamino Constraint Satisfaction Problems over Numeric Domains. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
76Mark Jerrum Counting Constraint Satisfaction Problems. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
76Gregory Z. Gutin, Anders Yeo Parameterized Constraint Satisfaction Problems: a Survey. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
76Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin 09441 Abstracts Collection - The Constraint Satisfaction Problem: Complexity and Approximability. Search on Bibsonomy The Constraint Satisfaction Problem: Complexity and Approximability The full citation details ... 2009 DBLP  BibTeX  RDF
76Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin 09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability. Search on Bibsonomy The Constraint Satisfaction Problem: Complexity and Approximability The full citation details ... 2009 DBLP  BibTeX  RDF
75Young U. Ryu Approximate Constraint Satisfaction Over a Constraint Hierarchy: A Preliminary Study. Search on Bibsonomy HICSS (5) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
75Phokion G. Kolaitis Constraint Satisfaction, Complexity, and Logic. Search on Bibsonomy SETN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
72Miguel A. Salido, Federico Barber Exploiting the Constrainedness in Constraint Satisfaction Problems. Search on Bibsonomy AIMSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF complexity, heuristic search, Constraint Satisfaction Problems
67Malek Mouhoub Maintaining Global Consistency of Temporal Constraints in a Dynamic Environment. Search on Bibsonomy IEA/AIE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Constraint Satisfaction, Temporal Reasoning, Planning and Scheduling
67Kazunori Mizuno, Seiichi Nishihara Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithms. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF local minimum structures, stochastic constraint satisfaction, stochastic search algorithms, large-scale constraint satisfaction problems, locally minimal solutions, local constraint structures, LM pair, stochastic programming, operations research, graph colouring, hill-climbing, stepwise refinement, local minima, constraint theory, graph-coloring problems, graph-coloring problem
66J. C. Tay, S. Y. Huang, Hiok Chai Quek CSL (Part I): Modelling General N-ary, Logical CSPs. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
65Víctor Dalmau A new tractable class of constraint satisfaction problems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF para-primal algebra, complexity, constraint satisfaction problem
64Syed Sibte Raza Abidi, Yong Han Chong, Yan Zeng Generating customized yet factually consistent information: a constraint satisfaction approach. Search on Bibsonomy Int. J. on Digital Libraries The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Information customization, Information personalization, E-Healthcare, Constraint satisfaction, Adaptive hypermedia systems
63Manuel Bodirsky, Jan Kára The complexity of temporal constraint satisfaction problems. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complexity, constraint satisfaction, temporal reasoning
63Moshe Y. Vardi Constraint Satisfaction and Database Theory: a Tutorial. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
62Manuel Bodirsky, Hubie Chen Relatively quantified constraint satisfaction. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Quantified constraint satisfaction, Computational complexity
62Ákos Horváth 0001, Dániel Varró CSP(M): Constraint Satisfaction Problem over Models. Search on Bibsonomy MoDELS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Constraint satisfaction programming, graph transformation
61Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF maximum constraint satisfaction, complexity, approximability
61Andrei A. Krokhin, Stanislav Zivny (eds.) The Constraint Satisfaction Problem: Complexity and Approximability Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  BibTeX  RDF
61 Front Matter, Table of Contents, Preface, List of Authors. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Libor Barto, Andrei A. Krokhin, Ross Willard Polymorphisms, and How to Use Them. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Serge Gaspers, Sebastian Ordyniak, Stefan Szeider Backdoor Sets for CSP. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Benoit Larose Algebra and the Complexity of Digraph CSPs: a Survey. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Martin C. Cooper, Stanislav Zivny Hybrid Tractable Classes of Constraint Problems. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Heng Guo 0001, Pinyan Lu On the Complexity of Holant Problems. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Konstantin Makarychev, Yury Makarychev Approximation Algorithms for CSPs. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Andrei A. Krokhin, Stanislav Zivny The Complexity of Valued CSPs. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Libor Barto, Marcin Kozik Absorption in Universal Algebra and CSP. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Barnaby Martin Quantified Constraints in Twenty Seventeen. Search on Bibsonomy The Constraint Satisfaction Problem The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
61Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin (eds.) The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009 Search on Bibsonomy The Constraint Satisfaction Problem: Complexity and Approximability The full citation details ... 2009 DBLP  BibTeX  RDF
61Barnaby Martin, Jos Martin The complexity of positive first-order logic without equality II: The four-element case. Search on Bibsonomy The Constraint Satisfaction Problem: Complexity and Approximability The full citation details ... 2009 DBLP  BibTeX  RDF
61Matthew Valeriote, Simone Bova, Hubie Chen On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Search on Bibsonomy The Constraint Satisfaction Problem: Complexity and Approximability The full citation details ... 2009 DBLP  BibTeX  RDF
61Ross Willard PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE. Search on Bibsonomy The Constraint Satisfaction Problem: Complexity and Approximability The full citation details ... 2009 DBLP  BibTeX  RDF
61Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij The MSP.RTL real-time scheduler synthesis tool. Search on Bibsonomy RTSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF MSP RTL real time scheduler synthesis tool, scheduler synthesis algorithm, real time scheduling problem, temporal constraint satisfaction problem, temporal constraint graph, input timing specification, incremental positive cycle detection algorithm, real time scheduling theory, Boeing 777 Integrated Airplane Information Management System, AIMS, constraint satisfaction, processor scheduling, timing constraints, resource constraints, application domains, search strategies, cyclic schedules, feasible schedule, timing semantics, real time logic
60Oliver Kullmann Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF satisfiability problem (SAT), systems with partial instantiation, generalised resolution, lower bounds for resolution, upper bounds for SAT algorithms, automatisation of proof systems, generalised input resolution, generalised width restricted resolution, induced width of constraint satisfaction problems, constraint satisfaction problems, propositional logic, polynomial time hierarchies
60Moshe Y. Vardi Constraints, Graphs, Algebra, Logic, and Complexity. Search on Bibsonomy TAMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
60Javier Larrosa, Rina Dechter Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. Search on Bibsonomy Constraints The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization
59Roman Barták, Daniel Toropila Constraint Models for Sequential Planning. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Stefan S. Dantchev, Florent R. Madelaine Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism
59Gabriel Istrate, Stefan Boettcher, Allon G. Percus Spines of random constraint satisfaction problems: definition and connection with computational complexity. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF resolution complexity, constraint satisfaction problems, phase transitions, spine
59Oleg Shcherbina, Arnold Neumaier, Djamila Sam-Haroud, Xuan-Ha Vu, Tuan-Viet Nguyen Benchmarking Global Optimization and Constraint Satisfaction Codes. Search on Bibsonomy COCOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
58Phokion G. Kolaitis, Moshe Y. Vardi A Logical Approach to Constraint Satisfaction. Search on Bibsonomy Complexity of Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
58Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Manuel Bodirsky, Jan Kára The Complexity of Equality Constraint Languages. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science
56Chi-Kin Chau, Kwang Mong Sim Engineering Fuzzy Constraint Satisfaction Agents for Multi-user Timetable Scheduling. Search on Bibsonomy Active Media Technology The full citation details ... 2001 DBLP  DOI  BibTeX  RDF fuzzy constraint satisfaction, multi-user timetabling, agent
56Huan Ren, Shantanu Dutt Constraint satisfaction in incremental placement with application to performance optimization under power constraints. Search on Bibsonomy ICCD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Manuel Bodirsky, Jan Kára The Complexity of Equality Constraint Languages. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clones on infinite domains, Computational complexity, Constraint satisfaction, Logic in computer science
54Miguel A. Salido, Federico Barber Constrainedness and Redundancy by Constraint Ordering. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constrainedness, heuristics, Constraint Satisfaction Problems
54Lin Wang, Wee Keong Ng, Bing Song Constraint Satisfaction Approach on Product Configuration with Cost Estimation. Search on Bibsonomy IEA/AIE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Constraint satisfaction problem, Cost estimation, Product family, Mass customization, Product configuration
54Martin C. Cooper High-Order Consistency in Valued Constraint Satisfaction. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints
54Esther M. Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith Constraint Satisfaction Methods for Applications in Engineering. Search on Bibsonomy Eng. Comput. (Lond.) The full citation details ... 2000 DBLP  BibTeX  RDF Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency
53Nadia Creignou, Henning Schnoor, Ilka Schnoor Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
53Abdulwahed M. Abbas, Edward P. K. Tsang Constraint-Based Timetabling-A Case Study. Search on Bibsonomy AICCSA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF software engineering, Constraint-Satisfaction, timetabling
52Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder Boosting Constraint Satisfaction Using Decision Trees. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Malek Mouhoub, Amrudee Sukpan Solving conditional and composite constraint satisfaction problems. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF local search, constraint satisfaction, arc consistency
52David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Symmetry, Constraint satisfaction problems
51Michael J. Maher A Synthesis of Constraint Satisfaction and Constraint Solving. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin Caterpillar Duality for Constraint Satisfaction Problems. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF caterpillar structures, Datalog, duality, constraint satisfaction problem, homomorphism
50Martin Grohe The complexity of homomorphism and constraint satisfaction problems seen from the other side. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Complexity, constraint satisfaction, conjunctive queries, homomorphisms, parameterized complexity
50Haruhisa Nozue, Hajime Nakajima, Haruo Oishi, Takeshi Masuda, Tetsuya Yamamura Process Control Technique Using Planning and Constraint Satisfaction. Search on Bibsonomy APNOMS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF workflow, planning, constraint satisfaction, process control
50Patrick W. Yaner, Ashok K. Goel 0001 Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems. Search on Bibsonomy Appl. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Analogical retrieval, Analogical mapping, Constraint satisfaction, Analogical reasoning, Visual reasoning
50Roger Mailler Comparing two approaches to dynamic, distributed constraint satisfaction. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cooperative mediation, dynamic partial centralization, dynamic, distributed constraint satisfaction
50George Boukeas, Panagiotis Stamatopoulos, Constantinos Halatsis, Vassilis Zissimopoulos Inherent Choice in the Search Space of Constraint Satisfaction Problem Instances. Search on Bibsonomy SETN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF search, constraint satisfaction, mathematical foundations
50Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi View-Based Query Processing and Constraint Satisfaction. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF view-based query answering, view-based query rewriting, databases, constraint satisfaction, semistructured data
50Alex Quilici, Steven Woods Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms. Search on Bibsonomy WPC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Constraint Satisfaction, Program understanding, Algorithm evaluation
50R. Kowalczyk Using constraint satisfaction in genetic algorithms. Search on Bibsonomy ANZIIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
50Nikolaos V. Sahinidis Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach. Search on Bibsonomy COCOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
50Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi Numerical Constraint Satisfaction Problems with Non-isolated Solutions. Search on Bibsonomy COCOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
50Armin Wolf Projection in Adaptive Constraint Handling. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Syed Sibte Raza Abidi, Yong Han Chong Constraint Satisfaction Methods for Information Personalization. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Xiaolong Jin, Jiming Liu 0001 Efficiency of Emergent Constraint Satisfaction in Small-world and Random Agent Networks. Search on Bibsonomy IAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker Distributed Configuration as Distributed Dynamic Constraint Satisfaction. Search on Bibsonomy IEA/AIE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Katsutoshi Hirayama, Makoto Yokoo, Katia P. Sycara The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49Makoto Yokoo, Katsutoshi Hirayama The Effect of Nogood Learning in Distributed Constraint Satisfaction. Search on Bibsonomy ICDCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49Klaus Meer On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width
48Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model redundancy, Constraint satisfaction
48Heribert Vollmer Computational Complexity of Constraint Satisfaction. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems
48Hubie Chen Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Malek Mouhoub Reasoning with Numeric and Symbolic Time Information. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constraint satisfaction techniques, scheduling, approximation algorithms, planning, temporal reasoning
48Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. Search on Bibsonomy DEXA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Expert Systems Architecture, Constraint Satisfaction, Medical Information Systems
46Sanja Petrovic, Vijay Patel, Yong Yang 0004 Examination Timetabling with Fuzzy Constraints. Search on Bibsonomy PATAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Yong Gao 0001, Joseph C. Culberson Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Dániel Marx Tractable hypergraph properties for constraint satisfaction and conjunctive queries. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF submodular width, constraint satisfaction, conjunctive queries, fixed-parameter tractability
45Sean A. Bittle, Mark S. Fox Learning and using hyper-heuristics for variable and value ordering in constraint satisfaction problems. Search on Bibsonomy GECCO (Companion) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constrained heuristic search, variable and value ordering, constraint satisfaction, hyper-heuristics, soar
45Jun Miura, Hiroyuki Kubo Tracking players in highly complex scenes in broadcast soccer video using a constraint satisfaction approach. Search on Bibsonomy CIVR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF broadcast soccer video, player tracking, constraint satisfaction
45Andrei A. Bulatov A dichotomy theorem for constraint satisfaction problems on a 3-element set. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF dichotomy theorem, homomorphism problem, complexity, Constraint satisfaction problem
45Laurent Granvilliers, Frédéric Benhamou Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interval Newton, constraint satisfaction, Interval arithmetic, nonlinear system, local consistency
45Ilié Popescu Using Finite Domains in Constraint Satisfaction Problem. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF consistency, Constraint satisfaction problem, search space
45Yves Caseau Constraint satisfaction with an object-oriented knowledge representation language. Search on Bibsonomy Appl. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF object-oriented programming, knowledge representation, Constraint satisfaction
45Lars Engebretsen, Venkatesan Guruswami Is Constraint Satisfaction Over Two Variables Always Easy? Search on Bibsonomy RANDOM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Inès Ben Jaâfar, Naoufel Khayati, Khaled Ghédira Multicriteria Optimization in CSPs : Foundations and Distributed Solving Approach. Search on Bibsonomy AIMSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF nogoods exchange, multi-Agent systems, constraint satisfaction problem, distributed problem solving, multicriteria optimization, cooperative agents
44Nicoleta Neagu, Boi Faltings Soft Interchangeability for Case Adaptation. Search on Bibsonomy ICCBR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF case adaptation, hard/soft constraint satisfaction problems, substitutability, interchangeability
44Luc Jaulin Consistency Techniques for the Localization of a Satellite. Search on Bibsonomy COCOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer Equivalence and Isomorphism for Boolean Constraint Satisfaction. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons Constraint Satisfaction Problems and Finite Algebras. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Khalil Djelloul Combination of decomposability and propagation for solving first-order constraints in decomposable theories. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules
43Carlos Castro COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Constraint Satisfaction Problems, Rewriting Logic
Displaying result #1 - #100 of 2890 (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