The SCEAS System
Navigation Menu

Conferences in DBLP

Principles and Practice of Constraint Programming (CP) (cp)
1995 (conf/cp/1995s)

  1. Andreas Podelski, Peter Van Roy
    A Detailed Algorithm Testing Guards over Feature Trees. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:11-38 [Conf]
  2. Christian Codognet, Philippe Codognet
    A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:39-49 [Conf]
  3. M. Anton Ertl, Andreas Krall
    High-Level Constraints over Finite Domains. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:51-66 [Conf]
  4. Jérôme Gensel
    Integrating Constraints in an Object-Based Knowledge Representation System. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:67-83 [Conf]
  5. Patrice Boizumault, Yan Delon, Laurent Péridy
    A CLP Approach for Examination Planning. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:85-101 [Conf]
  6. Eugene C. Freuder
    The Many Paths to Satisfaction. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:103-119 [Conf]
  7. Richard J. Wallace
    Directed Arc Consistency Preprocessing. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:121-137 [Conf]
  8. Barbara M. Smith
    In Search of Exceptionally Difficult Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:139-155 [Conf]
  9. Christian Bessière, Jean-Charles Régin
    Using Bidirectionality to Speed up Arc-Constistency Processing. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:157-169 [Conf]
  10. Eugene C. Freuder
    Using Metalevel Constraint Knowledge to Reduce Constraint Checking. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:171-184 [Conf]
  11. Patrick Prosser
    Forward Checking with Backmarking. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:185-204 [Conf]
  12. Francesca Rossi
    Redundant Hidden Variables in Finite Domain Constraint Problems. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:205-223 [Conf]
  13. Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco
    Semmantic Properties of CHIP (FD). [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:225-245 [Conf]
  14. Dan R. Vlasie
    Combining Hill Climbing and Forward Checking for Handling Disjunctive Constraints. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:247-265 [Conf]
  15. A. E. Eiben, Paul-Erik Raué, Zsófia Ruttkay
    GA-easy and GA-hard Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Constraint Processing, Selected Papers, 1995, pp:267-283 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002