The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Jeavons: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marc Gyssens, Peter Jeavons, David A. Cohen
    Decomposing Constraint Satisfaction Problems Using Database Techniques. [Citation Graph (3, 0)][DBLP]
    Artif. Intell., 1994, v:66, n:1, pp:57-89 [Journal]
  2. Peter Jeavons, David A. Cohen, Marc Gyssens
    A Unifying Framework for Tractable Constraints. [Citation Graph (2, 0)][DBLP]
    CP, 1995, pp:276-291 [Conf]
  3. Peter Jeavons, David A. Cohen, Marc Gyssens
    A test for Tractability. [Citation Graph (2, 0)][DBLP]
    CP, 1996, pp:267-281 [Conf]
  4. Peter Jeavons, David A. Cohen, Marc Gyssens
    Closure properties of constraints. [Citation Graph (2, 0)][DBLP]
    J. ACM, 1997, v:44, n:4, pp:527-548 [Journal]
  5. David A. Cohen, Peter Jeavons, Manolis Koubarakis
    Tractable Disjunctive Constraints. [Citation Graph (1, 0)][DBLP]
    CP, 1997, pp:478-490 [Conf]
  6. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
    Constraint Symmetry and Solution Symmetry. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  7. Gaofeng Huang, Peter Jeavons, Dominic Kwiatkowski
    Exact and Heuristic Approaches for Identifying Disease-Associated SNP Motifs. [Citation Graph (0, 0)][DBLP]
    APBC, 2007, pp:175-184 [Conf]
  8. Peter Jeavons, David A. Cohen
    An Algebraic Characterization of Tractable Constraints. [Citation Graph (0, 0)][DBLP]
    COCOON, 1995, pp:633-642 [Conf]
  9. Andrei A. Bulatov, Peter Jeavons
    An Algebraic Approach to Multi-sorted Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:183-198 [Conf]
  10. David A. Cohen, Martin C. Cooper, Peter Jeavons
    A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:212-226 [Conf]
  11. David A. Cohen, Martin C. Cooper, Peter Jeavons
    An Algebraic Characterisation of Complexity for Valued Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:107-121 [Conf]
  12. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
    Soft Constraints: Complexity and Multimorphisms. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:244-258 [Conf]
  13. David A. Cohen, Marc Gyssens, Peter Jeavons
    Derivation of Constraints and Database Relations. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:134-148 [Conf]
  14. David A. Cohen, Peter Jeavons, Richard Gault
    New Tractable Classes from Old. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:160-171 [Conf]
  15. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
    Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:17-31 [Conf]
  16. Peter Jeavons
    Constructing Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:2-16 [Conf]
  17. Ferdinand Börner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin
    Quantified Constraints: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:58-70 [Conf]
  18. Víctor Dalmau, Peter Jeavons
    Learnability of Quantified Formulas. [Citation Graph (0, 0)][DBLP]
    EuroCOLT, 1999, pp:63-78 [Conf]
  19. Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons
    Constraint Satisfaction Problems and Finite Algebras. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:272-282 [Conf]
  20. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
    A Maximal Tractable Class of Soft Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:209-214 [Conf]
  21. David A. Cohen, Peter Jeavons, Marc Gyssens
    A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:72-77 [Conf]
  22. Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
    A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:83-88 [Conf]
  23. Andrei A. Krokhin, Andrei A. Bulatov, Peter Jeavons
    Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2003, pp:343-0 [Conf]
  24. Louis W. G. Barton, John A. Caldwell, Peter Jeavons
    E-library of medieval chant manuscript transcriptions. [Citation Graph (0, 0)][DBLP]
    JCDL, 2005, pp:320-329 [Conf]
  25. Peter Jeavons, David A. Cohen, Martin C. Cooper
    A Substitution Operation for Constraints. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:1-9 [Conf]
  26. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
    Identifying Efficiently Solvable Cases of Max CSP. [Citation Graph (0, 0)][DBLP]
    STACS, 2004, pp:152-163 [Conf]
  27. Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
    The Complexity of Constraints on Intervals and Lengths. [Citation Graph (0, 0)][DBLP]
    STACS, 2002, pp:443-454 [Conf]
  28. Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons
    The complexity of maximal constraint languages. [Citation Graph (0, 0)][DBLP]
    STOC, 2001, pp:667-674 [Conf]
  29. Martin C. Cooper, David A. Cohen, Peter Jeavons
    Characterising Tractable Constraints. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:65, n:2, pp:347-361 [Journal]
  30. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
    The complexity of soft constraint satisfaction. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:11, pp:983-1016 [Journal]
  31. Peter Jeavons, Martin C. Cooper
    Tractable Constraints on Ordered Domains. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:79, n:2, pp:327-339 [Journal]
  32. Peter Jeavons, David A. Cohen, Martin C. Cooper
    Constraints, Consistency and Closure. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:101, n:1-2, pp:251-265 [Journal]
  33. Peter Jeavons, David A. Cohen, Justin Pearson
    Constraints and Universal Algebra. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:24, n:1-4, pp:51-67 [Journal]
  34. P. S. Umesh Adiga, A. Bhomra, M. G. Turri, A. Nicod, S. R. Datta, Peter Jeavons, Richard Mott, Jonathan Flint
    Automatic analysis of agarose gel images. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2001, v:17, n:11, pp:1084-1089 [Journal]
  35. Peter Jeavons, David A. Cohen, Marc Gyssens
    How to Determine the Expressive Power of Constraints. [Citation Graph (0, 0)][DBLP]
    Constraints, 1999, v:4, n:2, pp:113-131 [Journal]
  36. David A. Cohen, Peter Jeavons, Richard Gault
    New Tractable Classes From Old. [Citation Graph (0, 0)][DBLP]
    Constraints, 2003, v:8, n:3, pp:263-282 [Journal]
  37. David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
    Symmetry Definitions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Constraints, 2006, v:11, n:2-3, pp:115-137 [Journal]
  38. Richard Gault, Peter Jeavons
    Implementing a Test for Tractability. [Citation Graph (0, 0)][DBLP]
    Constraints, 2004, v:9, n:2, pp:139-160 [Journal]
  39. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
    Supermodular functions and the complexity of MAX CSP. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2005, v:149, n:1-3, pp:53-72 [Journal]
  40. Peter Jeavons
    Counting Representable Sets on Simple Graphs. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1993, v:47, n:1, pp:33-46 [Journal]
  41. Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
    The complexity of constraints on intervals and lengths [Citation Graph (0, 0)][DBLP]
    Electronic Colloquium on Computational Complexity (ECCC), 2001, v:, n:077, pp:- [Journal]
  42. Peter Jeavons
    Recovering a Relation from a Decomposition Using Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1994, v:78, n:3-4, pp:229-256 [Journal]
  43. David A. Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis
    Building tractable disjunctive constraints. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:5, pp:826-853 [Journal]
  44. Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
    Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2003, v:50, n:5, pp:591-640 [Journal]
  45. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin
    A Maximal Tractable Class of Soft Constraints. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2004, v:22, n:, pp:1-22 [Journal]
  46. Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin
    Classifying the Complexity of Constraints Using Finite Algebras. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2005, v:34, n:3, pp:720-742 [Journal]
  47. Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
    Constraint Satisfaction Problems on Intervals and Length. [Citation Graph (0, 0)][DBLP]
    SIAM J. Discrete Math., 2004, v:17, n:3, pp:453-477 [Journal]
  48. Víctor Dalmau, Peter Jeavons
    Learnability of quantified formulas. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:306, n:1-3, pp:485-511 [Journal]
  49. Peter Jeavons
    On the Algebraic Structure of Combinatorial Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:200, n:1-2, pp:185-204 [Journal]
  50. Peter Jeavons, David A. Cohen, John Shawe-Taylor
    Generating binary sequences for stochastic computing. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 1994, v:40, n:3, pp:716-720 [Journal]
  51. David A. Cohen, Peter Jeavons, Stanislav Zivný
    The Expressive Power of Valued Constraints: Hierarchies and Collapses. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:798-805 [Conf]
  52. Louis W. G. Barton, Peter Jeavons, John A. Caldwell, Koon Shan Barry Ng
    First class objects and indexes for chant manuscripts. [Citation Graph (0, 0)][DBLP]
    JCDL, 2007, pp:415-416 [Conf]

  53. A Geometrical Model for the SNP Motif Identification Problem. [Citation Graph (, )][DBLP]


  54. Classes of Submodular Constraints Expressible by Graph Cuts. [Citation Graph (, )][DBLP]


  55. A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]


  56. Presenting Constraints. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.037secs
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