Showing 61 - 80 results of 142 for search '"constraint satisfaction problem"', query time: 0.14s Refine Results
  1. 61
    Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Algorithms and Hitting Time -- Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 62
    WALCOM: Algorithms and Computation Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /
    Published 2009
    Table of Contents: “… is NP-Hard -- On the Computational Complexity of Monotone Constraint Satisfaction Problems…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 63
    Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems -- Cardinality…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 64
    Paradigms of combinatorial optimization /
    Published 2014
    Table of Contents: “… Satisfiability; 1.1. Introduction; 1.2. Preliminaries; 1.2.1. Constraint satisfaction problems: decision…”
    Full Text via HEAL-Link
    eBook
  5. 65
    Progress in Artificial Intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings /
    Published 1997
    Table of Contents: “… for modelizing and solving the constraint satisfaction problems -- An algorithm for solving systems of linear…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 66
    Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Consistency -- Reformulating Constraint Satisfaction Problems to Improve Scalability -- Reformulating Global…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 67
    Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Constraint Satisfaction Problems -- New Bounds for MAX-SAT by Clause Learning -- Towards Hierarchical…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 68
    Advances in Artificial Intelligence 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7-9, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Problems with Inequalities -- Search Techniques for Non-Linear Constraint Satisfaction Problems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 69
    Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
    Published 2002
    Table of Contents: “… in Constraint Satisfaction Problems -- Constraint Modeling in the Context of Academic Task Assignment -- Design…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 70
    Flexible Query Answering Systems 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings /
    Published 2004
    Table of Contents: “… Regarded as a Constraint Satisfaction Problem -- Databases -- Similarity-Based Query Caching -- Fuzzy…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 71
    Advances in Artificial Intelligence 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Satisfaction Problem -- SWAMI: Searching the Web Using Agents with Mobility and Intelligence -- Queuing Local…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 72
    Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21–23, 2004, Beijing, China /
    Published 2005
    Table of Contents: “… Satisfaction Problem -- Research on Radar Targets Recognition by Extracting 3-D Characteristic from ISAR Images…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 73
    Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
    Published 1999
    Table of Contents: “… with Disjunctive Constraints -- Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 74
    Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Constraint Satisfaction Problems with SMT -- Two Techniques for Minimizing Resolution Proofs -- On Moderately…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 75
    Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers /
    Published 2005
    Table of Contents: “… -- On the Fixed-Parameter Enumerability of Cluster Editing -- Locally Consistent Constraint Satisfaction Problems…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 76
    Applications of Evolutionary Computing EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland, April 3-4, 2002. Proceedings /
    Published 2002
    Table of Contents: “… Methods for Solving Binary Constraint Satisfaction Problems with State of the Art Evolutionary Computation…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 77
    Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings /
    Published 2006
    Table of Contents: “… for Typed Constraint Satisfaction Problems -- Session 6. MAX-SAT -- A Complete Calculus for Max-SAT…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 78
    Advances in Intelligent and Distributed Computing
    Published 2008
    Table of Contents: “… into Constraint Satisfaction Problems -- Regular Papers -- Models for Temporal and Spatial Terrain Coverage…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 79
    Αυτόματη δημιουργία σταυρολέξων
    Get full text
    Thesis
  20. 80
    Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
    Published 1998
    Table of Contents: “… Datafow Constraint Problems -- Stable Solutions for Dynamic Constraint Satisfaction Problems -- Posters…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search