|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1542 occurrences of 746 keywords
|
|
|
Results
Found 3250 publication records. Showing 3250 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
98 | Laurent Perrussel, Pierre-Jean Charrel |
Inconsistent Requirements: An Argumentation View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 79-86, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction |
82 | Hans W. Guesgen, Anne Philpott |
Heuristics for Solving Fuzzy Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 132-135, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Constraint satisfaction, heuristic search, fuzzy set theory, constraint relaxation |
79 | Manuel Bodirsky, Marcello Mamino |
Constraint Satisfaction Problems over Numeric Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 79-111, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
79 | Mark Jerrum |
Counting Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 205-231, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
79 | Gregory Z. Gutin, Anders Yeo |
Parameterized Constraint Satisfaction Problems: a Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 179-203, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
79 | Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin |
09441 Abstracts Collection - The Constraint Satisfaction Problem: Complexity and Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
79 | Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin |
09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
75 | Nicoleta Neagu |
Studying Interchangeability in Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 787-788, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
soft constraint satisfaction problems, constraint satisfaction problem, interchangeability |
69 | Young U. Ryu |
Approximate Constraint Satisfaction Over a Constraint Hierarchy: A Preliminary Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 134-141, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
68 | Phokion G. Kolaitis |
Constraint Satisfaction, Complexity, and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings, pp. 1-2, 2004, Springer, 3-540-21937-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
67 | Miguel A. Salido, Federico Barber |
Exploiting the Constrainedness in Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings, pp. 126-136, 2004, Springer, 3-540-22959-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
complexity, heuristic search, Constraint Satisfaction Problems |
65 | Kazunori Mizuno, Seiichi Nishihara |
Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 366-369, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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 |
64 | Andrei A. Krokhin, Stanislav Zivný (eds.) |
The Constraint Satisfaction Problem: Complexity and Approximability ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
64 | |
Front Matter, Table of Contents, Preface, List of Authors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. i-xii, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Libor Barto, Marcin Kozik |
Absorption in Universal Algebra and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 45-77, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Andrei A. Krokhin, Stanislav Zivný |
The Complexity of Valued CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 233-266, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Martin C. Cooper, Stanislav Zivný |
Hybrid Tractable Classes of Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 113-135, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Libor Barto, Andrei A. Krokhin, Ross Willard |
Polymorphisms, and How to Use Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 1-44, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Konstantin Makarychev, Yury Makarychev |
Approximation Algorithms for CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 287-325, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Heng Guo 0001, Pinyan Lu |
On the Complexity of Holant Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 159-177, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Benoît Larose |
Algebra and the Complexity of Digraph CSPs: a Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 267-285, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Serge Gaspers, Sebastian Ordyniak, Stefan Szeider |
Backdoor Sets for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 137-157, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Barnaby Martin |
Quantified Constraints in Twenty Seventeen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 327-346, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
64 | Andrei 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](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
64 | Barnaby Martin, Jos Martin |
The complexity of positive first-order logic without equality II: The four-element case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
64 | Ross Willard |
PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
64 | Matthew Valeriote, Simone Bova, Hubie Chen |
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
62 | Víctor Dalmau |
A new tractable class of constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 44(1-2), pp. 61-85, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
para-primal algebra, complexity, constraint satisfaction problem |
61 | Malek Mouhoub |
Maintaining Global Consistency of Temporal Constraints in a Dynamic Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 779-788, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Temporal Reasoning, Planning and Scheduling |
61 | Syed Sibte Raza Abidi, Yong Han Chong, Yan Zeng |
Generating customized yet factually consistent information: a constraint satisfaction approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 6(3), pp. 247-259, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Information customization, Information personalization, E-Healthcare, Constraint satisfaction, Adaptive hypermedia systems |
60 | J. C. Tay, S. Y. Huang, Hiok Chai Quek |
CSL (Part I): Modelling General N-ary, Logical CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 414-421, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
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 |
60 | Manuel Bodirsky, Jan Kára |
The complexity of temporal constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 29-38, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complexity, constraint satisfaction, temporal reasoning |
59 | Oliver Kullmann |
Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 40(3-4), pp. 303-352, 2004. The full citation details ...](Pics/full.jpeg) |
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 |
59 | Manuel Bodirsky, Hubie Chen |
Relatively quantified constraint satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(1), pp. 3-15, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quantified constraint satisfaction, Computational complexity |
59 | Ákos Horváth 0001, Dániel Varró |
CSP(M): Constraint Satisfaction Problem over Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 107-121, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction programming, graph transformation |
58 | Oleg Shcherbina, Arnold Neumaier, Djamila Sam-Haroud, Xuan-Ha Vu, Tuan-Viet Nguyen |
Benchmarking Global Optimization and Constraint Satisfaction Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 211-222, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
58 | Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen |
Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 182-193, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
maximum constraint satisfaction, complexity, approximability |
58 | Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij |
The MSP.RTL real-time scheduler synthesis tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 118-128, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
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 |
58 | Javier Larrosa, Rina Dechter |
Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 8(3), pp. 303-326, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization |
58 | Moshe Y. Vardi |
Constraint Satisfaction and Database Theory: a Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA, pp. 76-85, 2000, ACM, 1-58113-214-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
56 | Stefan S. Dantchev, Florent R. Madelaine |
Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 159-170, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism |
56 | Gabriel Istrate, Stefan Boettcher, Allon G. Percus |
Spines of random constraint satisfaction problems: definition and connection with computational complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 44(4), pp. 353-372, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
resolution complexity, constraint satisfaction problems, phase transitions, spine |
53 | Chi-Kin Chau, Kwang Mong Sim |
Engineering Fuzzy Constraint Satisfaction Agents for Multi-user Timetable Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Active Media Technology ![In: Active Media Technology, 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001, Proceedings, pp. 244-254, 2001, Springer, 3-540-43035-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fuzzy constraint satisfaction, multi-user timetabling, agent |
53 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings, pp. 3, 2009, Springer, 978-3-642-02016-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Phokion G. Kolaitis, Moshe Y. Vardi |
A Logical Approach to Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complexity of Constraints ![In: Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]., pp. 125-155, 2008, Springer, 978-3-540-92799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan |
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pp. 240-245, 2004, IEEE Computer Society, 0-7695-2236-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Manuel Bodirsky, Jan Kára |
The Complexity of Equality Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 114-126, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science |
52 | Roman Barták, Daniel Toropila |
Constraint Models for Sequential Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings, pp. 314-315, 2009, Springer, 978-3-642-01928-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Lin Wang 0038, Wee Keong Ng, Bing Song |
Constraint Satisfaction Approach on Product Configuration with Cost Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 731-740, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction problem, Cost estimation, Product family, Mass customization, Product configuration |
51 | Martin C. Cooper |
High-Order Consistency in Valued Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(3), pp. 283-305, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints |
51 | Esther M. Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith |
Constraint Satisfaction Methods for Applications in Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 16(2), pp. 81-95, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency |
51 | Nikolaos V. Sahinidis |
Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 1-16, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi |
Numerical Constraint Satisfaction Problems with Non-isolated Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 194-210, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Huan Ren, Shantanu Dutt |
Constraint satisfaction in incremental placement with application to performance optimization under power constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 251-258, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Manuel Bodirsky, Jan Kára |
The Complexity of Equality Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(2), pp. 136-158, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Clones on infinite domains, Computational complexity, Constraint satisfaction, Logic in computer science |
50 | Miguel A. Salido, Federico Barber |
Constrainedness and Redundancy by Constraint Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 124-133, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constrainedness, heuristics, Constraint Satisfaction Problems |
49 | Nadia Creignou, Henning Schnoor, Ilka Schnoor |
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 109-123, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Malek Mouhoub, Amrudee Sukpan |
Solving conditional and composite constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 336-337, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
local search, constraint satisfaction, arc consistency |
49 | David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 11(2-3), pp. 115-137, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Symmetry, Constraint satisfaction problems |
49 | Abdulwahed M. Abbas, Edward P. K. Tsang |
Constraint-Based Timetabling-A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 67-72, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
software engineering, Constraint-Satisfaction, timetabling |
49 | Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin |
Caterpillar Duality for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 307-316, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
caterpillar structures, Datalog, duality, constraint satisfaction problem, homomorphism |
49 | Martin Grohe |
The complexity of homomorphism and constraint satisfaction problems seen from the other side. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(1), pp. 1:1-1:24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Complexity, constraint satisfaction, conjunctive queries, homomorphisms, parameterized complexity |
49 | Haruhisa Nozue, Hajime Nakajima, Haruo Oishi, Takeshi Masuda, Tetsuya Yamamura |
Process Control Technique Using Planning and Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: Managing Next Generation Networks and Services, 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007, Proceedings, pp. 62-71, 2007, Springer, 978-3-540-75475-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
workflow, planning, constraint satisfaction, process control |
49 | Patrick W. Yaner, Ashok K. Goel 0001 |
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 25(1), pp. 91-105, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Analogical retrieval, Analogical mapping, Constraint satisfaction, Analogical reasoning, Visual reasoning |
49 | Roger Mailler |
Comparing two approaches to dynamic, distributed constraint satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1049-1056, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
cooperative mediation, dynamic partial centralization, dynamic, distributed constraint satisfaction |
49 | George Boukeas, Panagiotis Stamatopoulos, Constantinos Halatsis, Vassilis Zissimopoulos |
Inherent Choice in the Search Space of Constraint Satisfaction Problem Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings, pp. 362-370, 2004, Springer, 3-540-21937-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
search, constraint satisfaction, mathematical foundations |
49 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
View-Based Query Processing and Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 361-371, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
view-based query answering, view-based query rewriting, databases, constraint satisfaction, semistructured data |
49 | Alex Quilici, Steven Woods |
Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 4th International Workshop on Program Comprehension (WPC '96), March 29-31, 1996, Berlin, Germany, pp. 55-, 1996, IEEE Computer Society, 0-8186-7283-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Program understanding, Algorithm evaluation |
48 | Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder |
Boosting Constraint Satisfaction Using Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pp. 646-651, 2004, IEEE Computer Society, 0-7695-2236-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Michael J. Maher |
A Synthesis of Constraint Satisfaction and Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 525-539, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith |
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(4), pp. 469-505, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model redundancy, Constraint satisfaction |
47 | Heribert Vollmer |
Computational Complexity of Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 748-757, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems |
46 | R. Kowalczyk |
Using constraint satisfaction in genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANZIIS ![In: Proceedings of the Australian New Zealand Conference on Intelligent Information Systems, ANZIIS 96, Adelaide, South Australia, 18-20 November 1996, pp. 272-275, 1996, IEEE, 0-7803-3667-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Syed Sibte Raza Abidi, Yong Han Chong |
Constraint Satisfaction Methods for Information Personalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence, 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004, Proceedings, pp. 261-276, 2004, Springer, 3-540-22004-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Xiaolong Jin, Jiming Liu 0001 |
Efficiency of Emergent Constraint Satisfaction in Small-world and Random Agent Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, pp. 304-310, 2003, IEEE Computer Society, 0-7695-1931-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker |
Distributed Configuration as Distributed Dynamic Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 434-444, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Makoto Yokoo, Katsutoshi Hirayama |
The Effect of Nogood Learning in Distributed Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 169-177, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
45 | Katsutoshi Hirayama, Makoto Yokoo, Katia P. Sycara |
The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 515-519, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
45 | Klaus Meer |
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 88-102, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width |
45 | Hubie Chen |
Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings, pp. 315-326, 2005, Springer, 3-540-24998-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Malek Mouhoub |
Reasoning with Numeric and Symbolic Time Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 21(1), pp. 25-56, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constraint satisfaction techniques, scheduling, approximation algorithms, planning, temporal reasoning |
44 | Ernest 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](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993, Proceedings, pp. 541-552, 1993, Springer, 3-540-57234-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Expert Systems Architecture, Constraint Satisfaction, Medical Information Systems |
44 | Dániel Marx |
Tractable hypergraph properties for constraint satisfaction and conjunctive queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 735-744, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
submodular width, constraint satisfaction, conjunctive queries, fixed-parameter tractability |
44 | Sean A. Bittle, Mark S. Fox |
Learning and using hyper-heuristics for variable and value ordering in constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2209-2212, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
constrained heuristic search, variable and value ordering, constraint satisfaction, hyper-heuristics, soar |
44 | Jun Miura, Hiroyuki Kubo |
Tracking players in highly complex scenes in broadcast soccer video using a constraint satisfaction approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 7th ACM International Conference on Image and Video Retrieval, CIVR 2008, Niagara Falls, Canada, July 7-9, 2008, pp. 505-514, 2008, ACM, 978-1-60558-070-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
broadcast soccer video, player tracking, constraint satisfaction |
44 | Laurent Granvilliers, Frédéric Benhamou |
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 32(1), pp. 138-156, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
interval Newton, constraint satisfaction, Interval arithmetic, nonlinear system, local consistency |
44 | Andrei A. Bulatov |
A dichotomy theorem for constraint satisfaction problems on a 3-element set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(1), pp. 66-120, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
dichotomy theorem, homomorphism problem, complexity, Constraint satisfaction problem |
44 | Ilié Popescu |
Using Finite Domains in Constraint Satisfaction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 351-354, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
consistency, Constraint satisfaction problem, search space |
44 | Yves Caseau |
Constraint satisfaction with an object-oriented knowledge representation language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 4(2), pp. 157-184, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
object-oriented programming, knowledge representation, Constraint satisfaction |
44 | Luc Jaulin |
Consistency Techniques for the Localization of a Satellite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 157-170, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Armin Wolf |
Projection in Adaptive Constraint Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Constraints ![In: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers, pp. 318-338, 1999, Springer, 3-540-67885-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Yong Gao 0001, Joseph C. Culberson |
Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 17-31, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Lars Engebretsen, Venkatesan Guruswami |
Is Constraint Satisfaction Over Two Variables Always Easy? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANDOM ![In: Randomization and Approximation Techniques, 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings, pp. 224-238, 2002, Springer, 3-540-44147-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Inès Ben Jaâfar, Naoufel Khayati, Khaled Ghédira |
Multicriteria Optimization in CSPs : Foundations and Distributed Solving Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings, pp. 459-468, 2004, Springer, 3-540-22959-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
nogoods exchange, multi-Agent systems, constraint satisfaction problem, distributed problem solving, multicriteria optimization, cooperative agents |
41 | Nicoleta Neagu, Boi Faltings |
Soft Interchangeability for Case Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings, pp. 347-361, 2003, Springer, 3-540-40433-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
case adaptation, hard/soft constraint satisfaction problems, substitutability, interchangeability |
41 | Hyun-Jin Lee, Sang-Jin Cha, Young-Hoon Yu, GeunSik Jo |
Large Neighborhood Search Using Constraint Satisfaction Techniques in Vehicle Routing Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence, 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009, Kelowna, Canada, May 25-27, 2009, Proceedings, pp. 229-232, 2009, Springer, 978-3-642-01817-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction Problem, Vehicle Routing Problem |
41 | José Carlos Ortiz-Bayliss, Hugo Terashima-Marín, Peter Ross, Jorge Iván Fuentes-Rosado, Manuel Valenzuela-Rendón |
A neuro-evolutionary approach to produce general hyper-heuristics for the dynamic variable ordering in hard binary constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1811-1812, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
neuro-evolutionary computation, optimization, constraint satisfaction, hyper-heuristics |
41 | Ferenc Domes, Arnold Neumaier |
A scaling algorithm for polynomial constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(3), pp. 327-345, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Scaling algorithms, Optimization, Constraint satisfaction problems |
41 | Henning Schnoor, Ilka Schnoor |
Partial Polymorphisms and Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complexity of Constraints ![In: Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]., pp. 229-254, 2008, Springer, 978-3-540-92799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
partial polymorphisms, computational complexity, constraint satisfaction problems, clones |
41 | Heekyong Park, Jinwook Choi |
Modeling korean clinical records as a simple temporal constraint satisfaction problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2008, Pittsburgh, PA, USA, June 16-20, 2008, pp. 461, 2008, ACM, 978-1-59593-998-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clinical records, discharge summaries, simple constraint satisfaction problem, stp, temporal information |
Displaying result #1 - #100 of 3250 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|