@inproceedings{10932,
  title = "Minimal Weighted Clones with Boolean Support",
  author = "Peter G. Jeavons and Andrius Vaicenavičius and Stanislav Živný",
  year = "2016",
  booktitle = "Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016",
  editor = "Takahiro Hanyu",
  month = "May",
  pages = "90--95",
  publisher = "IEEE Computer Society",
  url = "https://doi.org/10.1109/ISMVL.2016.10",
}
@inproceedings{ccjz15:ijcai,
  title = "Tractable Classes of Binary {C}{S}{P}s Defined by Excluded Topological Minors",
  author = "David A. Cohen and Martin C. Cooper and Peter Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2015",
  booktitle = "Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15)",
  pages = "1945--1951",
  publisher = "AAAI Press",
  url = "http://ijcai.org/papers15/Papers/IJCAI15-276.pdf",
}
@inproceedings{ccjz15:aaai,
  title = "Binarisation via dualisation for valued constraints",
  author = "David A. Cohen and Martin C. Cooper and Peter Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2015",
  booktitle = "Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence",
  pages = "3731--3737",
  publisher = "AAAI Press",
  url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9328/9699",
}
@inproceedings{cp2015:groebnerabstract,
  title = "Representing and Solving Finite-Domain Constraint Problems using Systems of Polynomials (Extended Abstract)",
  author = "Chris Jefferson and Peter Jeavons and Martin J. Green and M.R.C. van Dongen",
  year = "2015",
  booktitle = "Principles and Practice of Constraint Programming - Proceedings of CP2015",
  url = "http://www.cs.ox.ac.uk/peter.jeavons/CP2015:groebnerabstract.pdf",
}
@article{jkz14:survey,
  title = "The complexity of valued constraint satisfaction",
  author = "Peter Jeavons and Andrei Krokhin and Stanislav \v{Z}ivn\'y",
  year = "2014",
  journal = "Bulletin of the European Association for Theoretical Computer Science (EATCS)",
  note = "Errata can be found <a href="http://community.dur.ac.uk/andrei.krokhin/papers/BEATCScolumnerrata.txt">here</a>.",
  pages = "21-55",
  url = "http://eatcs.org/beatcs/index.php/beatcs/article/view/266/249",
  volume = "113",
}
@article{cccjz13:sicomp,
  title = "An algebraic theory of complexity for discrete optimisation",
  author = "David A. Cohen and Martin C. Cooper and P\'aid\'i Creed and Peter Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2013",
  journal = "SIAM Journal on Computing",
  number = "5",
  pages = "1915-1939",
  url = "http://zivny.cz/publications/cccjz13sicomp-preprint.pdf",
  volume = "42",
  doi = "10.1137/130906398",
}
@inproceedings{CPliftingpaper,
  title = "Lifting Structural Tractability to CSP with Global Constraints",
  author = "Thorstensen, Evgenij",
  year = "2013",
  booktitle = "Principles and Practice of Constraint Programming",
  editor = "Schulte, Christian",
  isbn = "978-3-642-40626-3",
  pages = "661-677",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8124",
  doi = "10.1007/978-3-642-40627-0_49",
}
@inproceedings{DBLP:conf/cp/CohenJTZ13,
  title = "Tractable Combinations of Global Constraints",
  author = "David A. Cohen and Peter G. Jeavons and Evgenij Thorstensen and Stanislav \v{Z}ivn\'{y}",
  year = "2013",
  booktitle = "Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings",
  editor = "Christian Schulte",
  pages = "230-246",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/cjtz13cp-preprint.pdf",
  volume = "8124",
  doi = "10.1007/978-3-642-40627-0_20",
}
@article{DBLP:journals/amai/JeffersonJGD13,
  title = "Representing and solving finite-domain constraint problems using systems of polynomials",
  author = "Christopher Jefferson and Peter Jeavons and Martin J. Green and Marc R. C. van Dongen",
  year = "2013",
  journal = "Annals of Mathematics and Artificial Intelligence",
  number = "3-4",
  pages = "359-382",
  url = "http://dx.doi.org/10.1007/s10472-013-9365-7",
  volume = "67",
  doi = "10.1007/s10472-013-9365-7",
}
@article{DBLP:journals/jair/JeavonsP12,
  title = "Local Consistency and SAT-Solvers",
  author = "Peter Jeavons and Justyna Petke",
  year = "2012",
  journal = "Journal of Artificial Intelligence Research (JAIR)",
  pages = "329-351",
  url = "http://dx.doi.org/10.1613/jair.3531",
  volume = "43",
  doi = "10.1613/jair.3531",
}
@article{cz12:jair,
  title = "Tractable triangles and cross-free convexity in discrete optimisation",
  author = "Martin C. Cooper and Stanislav \v{Z}ivn\'y",
  year = "2012",
  journal = "Journal of Artificial Intelligence Research",
  pages = "455--490",
  url = "http://zivny.cz/publications/cz12jair-preprint.pdf",
  volume = "44",
  doi = "10.1613/jair.3598",
}
@techreport{tz12:arxiv,
  title = "The power of linear programming for valued CSPs",
  author = "Johan Thapper and Stanislav \v{Z}ivn\'y",
  year = "2012",
  note = "arXiv:1204.1079",
  url = "http://arxiv.org/abs/1204.1079",
}
@inbook{jz12,
  title = "Tractable valued constraints",
  author = "Peter G. Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2012",
  booktitle = "Tractability: Practical Approaches to Hard Problems",
  editor = "Lucas Bordeaux and Youssef Hamadi and Pushmeet Kohli and Robert Mateescu",
  note = "This work is in copyright. The draft is for personal use only. No further distribution without permission.",
  publisher = "Cambridge University Press",
  url = "http://zivny.cz/publications/jz12cup-draft.pdf",
}
@inproceedings{kz12:soda,
  title = "The complexity of conservative valued CSPs",
  author = "Vladimir Kolmogorov and Stanislav \v{Z}ivn\'y",
  year = "2012",
  booktitle = "Proceedings of the 23rd ACM-SIAM Symposium on Discrete Algorithms (SODA'12)",
  note = "Preprint: http://zivny.cz/publications/kz12soda-preprint.pdf",
  pages = "750--759",
  url = "http://dl.acm.org/citation.cfm?id=2095177",
}
@techreport{RR-11-04,
  title = "The order encoding: from tractable CSP to tractable SAT",
  author = "Justyna Petke and Peter Jeavons",
  year = "2011",
  institution = "DCS, University of Oxford",
  number = "RR-11-04",
  pages = "19",
}
@article{cz11aij,
  title = "Hybrid tractability of valued constraint problems",
  author = "Martin C. Cooper and Stanislav \v{Z}ivn\'y",
  year = "2011",
  journal = "Artificial Intelligence",
  month = "June",
  number = "9-10",
  pages = "1555--1569",
  url = "http://zivny.cz/publications/cz11aij-preprint.pdf",
  volume = "175",
  doi = "10.1016/j.artint.2011.02.003",
}
@inproceedings{cz11:cp-minimal,
  title = "On minimal weighted clones",
  author = "P\'aid\'i Creed and Stanislav \v{Z}ivn\'y",
  year = "2011",
  booktitle = "Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP'11)",
  pages = "210--224",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/cz11cp-mwc-preprint",
  volume = "6876",
  doi = "10.1007/978-3-642-23786-7_18",
}
@inproceedings{cz11:cp-convex,
  title = "Hierarchically nested convex VCSP",
  author = "Martin C. Cooper and Stanislav \v{Z}ivn\'y",
  year = "2011",
  booktitle = "Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP'11)",
  pages = "187--194",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/cz11cp-convex.pdf",
  volume = "6876",
  doi = "10.1007/978-3-642-23786-7_16",
}
@inproceedings{cz11:cp-triangles,
  title = "Tractable triangles",
  author = "Martin C. Cooper and Stanislav \v{Z}ivn\'y",
  year = "2011",
  booktitle = "Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP'11)",
  pages = "195--209",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/cz11cp-triangles-preprint",
  volume = "6876",
  doi = "10.1007/978-3-642-23786-7_17",
}
@inproceedings{ggcp11,
  title = "On Minimal Constraint Networks",
  author = "Georg Gottlob",
  year = "2011",
  address = "Perugia, Italy",
  booktitle = "Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011",
}
@inproceedings{ccjz11:mfcs,
  title = "An algebraic theory of complexity for valued constraints: Establishing a Galois connection",
  author = "David A. Cohen and P\'aid\'i Creed and Peter G. Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2011",
  booktitle = "Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS'11)",
  pages = "231--242",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/ccjz11mfcs-preprint.pdf",
  volume = "6907",
  doi = "10.1007/978-3-642-22993-0_23",
}
@inproceedings{PUPIJCAI2011,
  title = "Tackling the Partner Units Configuration Problem",
  author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Peter Jeavons and Evgenij Thorstensen",
  year = "2011",
  address = "Barcelona, Spain",
  booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)",
}
@misc{SDSTACS11,
  title = "Structural Decomposition Methods, and What They are Good For",
  author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Peter Jeavons and Evgenij Thorstensen",
  year = "2011",
  address = "Dortmund, Germany",
  booktitle = "Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)",
  note = "Invited Paper at STACS 2011",
}
@inproceedings{PUPCPAIOR2011,
  title = "Optimization Methods for the Partner Units Problem",
  author = "Markus Aschinger and Conrad Drescher and Gerhard Friedrich and Georg Gottlob and Peter Jeavons and Anna Ryabokon and Evgenij Thorstensen",
  year = "2011",
  address = "Berlin, Germany",
  booktitle = "Proceedings of the 8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011)",
  series = "Lecture Notes in Computer Science",
}
@techreport{PUPTechRep10,
  title = "Tackling the Partner Units Configuration Problem",
  author = "Markus Aschinger and Conrad Drescher and Gerhard Friedrich and Georg Gottlob and Peter Jeavons and Anna Ryabokon and Evgenij Thorstensen",
  year = "2010",
  institution = "Computing Laboratory, University of Oxford",
  number = "CS-RR-10-28",
}
@article{DBLP:journals/ai/CooperJS10,
  title = "Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination",
  author = "Martin C. Cooper and Peter G. Jeavons and Andr{\'a}s Z. Salamon",
  year = "2010",
  journal = "Artif. Intell.",
  number = "9-10",
  pages = "570-584",
  volume = "174",
  doi = "10.1016/j.artint.2010.03.002",
}
@inproceedings{CZ10:cp,
  title = "A new hybrid tractable class of soft constraint problems",
  author = "Martin C. Cooper and Stanislav \v{Z}ivn\'y",
  year = "2010",
  booktitle = "Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP'10)",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/cz10cp-preprint.pdf",
  volume = "6308",
  doi = "10.1007/978-3-642-15396-9_15",
}
@techreport{3925,
  title = "An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection",
  author = "David A. Cohen and Paidi Creed and Peter G. Jeavons and Stanislav Zivny",
  year = "2010",
  institution = "OUCL",
  month = "November",
  number = "RR-10-16",
  pages = "30",
}
@techreport{KZ10:arx-b,
  title = "Generalising tractable VCSPs defined by symmetric tournament pair multimorphisms",
  author = "Vladimir Kolmogorov and Stanislav \v{Z}ivn\'y",
  year = "2010",
  note = "arXiv:1008.3104",
  url = "http://arxiv.org/abs/1008.3104",
}
@techreport{CZ10:arx,
  title = "Hybrid tractability of soft constraint problems",
  author = "Martin C. Cooper and Stanislav \v{Z}ivn\'y",
  year = "2010",
  note = "arXiv:1008.4071",
  url = "http://arxiv.org/abs/1008.4071",
}
@techreport{KZ10:arx-a,
  title = "The complexity of conservative finite-valued CSPs",
  author = "Vladimir Kolmogorov and Stanislav \v{Z}ivn\'y",
  year = "2010",
  note = "arXiv:1008.1555",
  url = "http://arxiv.org/abs/1008.1555",
}
@inproceedings{3744,
  title = "Local consistency and SAT-solvers",
  author = "Peter Jeavons and Justyna Petke",
  year = "2010",
  booktitle = "Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming - CP 2010",
  pages = "398-413",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6308",
  doi = "10.1007/978-3-642-15396-9_33",
}
@article{ZJ10constraints,
  title = "Classes of submodular constraints expressible by graph cuts",
  author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons",
  year = "2010",
  journal = "Constraints",
  number = "3",
  pages = "430-452",
  url = "http://zivny.cz/publications/zj10constraints-preprint.pdf",
  volume = "15",
  doi = "10.1007/s10601-009-9078-z",
}
@techreport{RR-09-07,
  title = "Tractable Benchmarks For Constraint Programming",
  author = "Justyna Petke and Peter Jeavons",
  year = "2009",
  institution = "OUCL",
  number = "RR-09-07",
}
@article{Z09:ipl,
  title = "Structural properties of oracle classes",
  author = "Stanislav \v{Z}ivn\'y",
  year = "2009",
  journal = "Information Processing Letters",
  number = "19",
  pages = "1131--1135",
  url = "http://zivny.cz/publications/z09ipl-preprint.pdf",
  volume = "109",
  doi = "10.1016/j.ipl.2009.07.009",
}
@inproceedings{DBLP:conf/tableaux/Jeavons09,
  title = "Presenting Constraints",
  author = "Peter Jeavons",
  year = "2009",
  booktitle = "TABLEAUX",
  crossref = "DBLP:conf/tableaux/2009",
  editor = "Martin Giese and Arild Waaler",
  isbn = "978-3-642-02715-4",
  journal = "Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings",
  pages = "1-15",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5607",
  doi = "10.1007/978-3-642-02716-1_1",
}
@article{DBLP:journals/iandc/BornerBCJK09,
  title = "The complexity of constraint satisfaction games and QCSP",
  author = "Ferdinand B{\"o}rner and Andrei A. Bulatov and Hubie Chen and Peter Jeavons and Andrei A. Krokhin",
  year = "2009",
  journal = "Inf. Comput.",
  number = "9",
  pages = "923-944",
  volume = "207",
  doi = "10.1016/j.ic.2009.05.003",
}
@article{Zivny09:dam,
  title = "The expressive power of binary submodular functions",
  author = "Stanislav \v{Z}ivn\'y and David A. Cohen and Peter G. Jeavons",
  year = "2009",
  journal = "Discrete Applied Mathematics",
  number = "15",
  pages = "3347--3358",
  url = "http://zivny.cz/publications/zcj09dam-preprint.pdf",
  volume = "157",
  doi = "10.1016/j.dam.2009.07.001",
}
@inproceedings{Zivny09:models,
  title = "The complexity of valued constraint models",
  author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons",
  year = "2009",
  booktitle = "Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP'09)",
  number = "5732",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/zj09cp-preprint.pdf",
  doi = "10.1007/978-3-642-04244-7_64",
}
@inproceedings{Zivny09:same,
  title = "Same-relation constraints",
  author = "Christopher Jefferson and Serdar Kadioglu and Karen E. Petrie and Meinolf Sellmann and Stanislav \v{Z}ivn\'y",
  year = "2009",
  booktitle = "Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP'09)",
  number = "5732",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/jkpsz09cp-preprint.pdf",
  doi = "10.1007/978-3-642-04244-7_38",
}
@article{zz09ipl,
  title = "A note on some collapse results of valued constraints",
  author = "Bruno Zanuttini and Stanislav \v{Z}ivn\'y",
  year = "2009",
  journal = "Information Processing Letters",
  number = "11",
  pages = "534--538",
  url = "http://zivny.cz/publications/zz09ipl-preprint.pdf",
  volume = "109",
  doi = "10.1016/j.ipl.2009.01.018",
}
@article{Green08:domain,
  title = "Domain permutation reduction for constraint satisfaction problems",
  author = "Martin J. Green and David A. Cohen",
  year = "2008",
  journal = "Artificial Intelligence",
  number = "8-9",
  pages = "1094-1118",
  volume = "172",
  doi = "10.1016/j.artint.2007.12.001",
}
@techreport{zcj08arx,
  title = "The Expressive Power of Binary Submodular Functions",
  author = "Stanislav \v{Z}ivn\'y and David A. Cohen and Peter G. Jeavons",
  year = "2008",
  note = "arXiv:0811.1885 [cs.DM]",
  url = "http://arxiv.org/abs/0811.1885",
}
@article{Zivny08:tcs,
  title = "The expressive power of valued constraints: Hierarchies and collapses",
  author = "David A. Cohen and Peter G. Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2008",
  journal = "Theoretical Computer Science",
  number = "1",
  pages = "137--153",
  url = "http://zivny.cz/publications/cjz08tcs-preprint.pdf",
  volume = "409",
  doi = "10.1016/j.tcs.2008.08.036",
}
@techreport{Zivny08:sub-tr,
  title = "Which submodular functions are expressible using binary submodular functions?",
  author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons",
  year = "2008",
  address = "Oxford, UK",
  institution = "OUCL",
  month = "June",
  number = "RR-08-08",
  url = "http://zivny.cz/publications/zj08sub-tr.pdf",
}
@article{TournamentTCS,
  title = "Generalising submodularity and Horn clauses: tractable optimization problems defined by tournament pair multimorphisms",
  author = "David Cohen and Martin Cooper and Peter Jeavons",
  year = "2008",
  journal = "Theoretical Computer Science",
  number = "1-3",
  pages = "36-51",
  publisher = "Elsevier",
  volume = "401",
  doi = "doi:10.1016/j.tcs.2008.03.015",
}
@inproceedings{Salamon2008:perfect,
  title = "Perfect Constraints Are Tractable",
  author = "Andr{\'a}s Z. Salamon and Peter G. Jeavons",
  year = "2008",
  booktitle = "Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming, {CP} 2008, Sydney, Australia, 14--18 September",
  isbn = "978-3-540-85957-4",
  pages = "524-528",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.gaon.net/andras/academic/sj-cp2008.pdf",
  volume = "5202",
  doi = "10.1007/978-3-540-85958-1_35",
}
@inproceedings{Cooper2008:hybrid,
  title = "Hybrid tractable {CSP}s which generalize tree structure",
  author = "Martin C. Cooper and Peter G. Jeavons and Andr{\'a}s Z. Salamon",
  year = "2008",
  booktitle = "{ECAI} 2008, Proceedings of the 18th European Conference on Artificial Intelligence, July 21--25, Patras, Greece",
  editor = "Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris",
  isbn = "978-1-58603-891-5",
  issn = "0922-6389",
  note = "Best paper award.",
  pages = "530--534",
  publisher = "IOS Press",
  series = "Frontiers in Artificial Intelligence and Applications",
  url = "http://www.gaon.net/andras/academic/cjs-ecai2008.pdf",
  volume = "178",
}
@inproceedings{Zivny08:cp,
  title = "Classes of submodular constraints expressible by graph cuts",
  author = "Stanislav \v{Z}ivn\'y and Peter G. Jeavons",
  year = "2008",
  booktitle = "Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP'08)",
  pages = "112-127",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/zj08cp-preprint.pdf",
  volume = "5202",
  doi = "10.1007/978-3-540-85958-1_8",
}
@article{StructuralTractability,
  title = "A unified theory of structural tractability for constraint satisfaction problems",
  author = "David Cohen and Peter Jeavons and Marc Gyssens",
  year = "2008",
  journal = "Journal of Computer and System Sciences",
  note = "Earlier, uncorrected, version appears in Proceedings of IJCAI'05, pp. 72--77: \url{http://www.ijcai.org/papers/0521.pdf}",
  pages = "721-743",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/JCSSspreadcut.pdf",
  volume = "74",
  doi = "10.1016/j.jcss.2007.08.001",
}
@inproceedings{conf/ijcai/GottlobGM07,
  title = "Conditional Constraint Satisfaction: Logical Foundations and Complexity",
  author = "Georg Gottlob and Gianluigi Greco and Toni Mancini",
  year = "2007",
  booktitle = "{IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}",
  editor = "Manuela M. Veloso",
  pages = "88-93",
  url = "http://www.ijcai.org/papers07/Papers/IJCAI07-012.pdf",
}
@techreport{RR-07-07,
  title = "Representing and Solving Finite-Domain Constraint Problems Using Systems of Polynomials",
  author = "Chris Jefferson and Peter Jeavons and Martin J. Green and M.R.C. van Dongen",
  year = "2007",
  institution = "Oxford University Computing Laboratory",
  month = "October",
  number = "RR-07-07",
}
@techreport{Zivny07:expressiveTR,
  title = "The expressive power of valued constraints: hierarchies and collapses",
  author = "David A. Cohen and Peter G. Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2007",
  address = "Oxford, UK",
  institution = "Computing Laboratory, University of Oxford",
  month = "April",
  number = "RR-07-03",
  url = "http://web.comlab.ox.ac.uk/oucl/publications/tr/RR-07-03.html",
}
@inproceedings{Zivny07:cp,
  title = "The expressive power of valued constraints: Hierarchies and collapses",
  author = "David A. Cohen and Peter G. Jeavons and Stanislav \v{Z}ivn\'y",
  year = "2007",
  booktitle = "Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP'07)",
  pages = "798-805",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/cjz07cp-preprint.pdf",
  volume = "4741",
  doi = "10.1007/978-3-540-74970-7_57",
}
@inproceedings{Cohen06:guarded,
  title = "Typed Guarded Decompositions for Constraint Satisfaction",
  author = "David A. Cohen and Martin J. Green",
  year = "2006",
  booktitle = "Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP'06)",
  pages = "122-136",
  series = "Lecture Notes in Computer Science",
  volume = "4204",
  doi = "10.1007/11889205_11",
}
@inproceedings{Houghton06:effect,
  title = "The Effect of Constraint Representation on Structural Tractability",
  author = "Chris Houghton and David A. Cohen and Martin J. Green",
  year = "2006",
  booktitle = "Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP'06)",
  pages = "726-730",
  series = "Lecture Notes in Computer Science",
  volume = "4204",
  doi = "10.1007/11889205_59",
}
@article{SymmetryDefinitions,
  title = "Symmetry definitions for constraint satisfaction problems",
  author = "David Cohen and Peter Jeavons and Christopher Jefferson and Karen Petrie and Barbara Smith",
  year = "2006",
  journal = "Constraints",
  note = "Received a Best Paper award.",
  pages = "115-137",
  url = "http://www.crt.umontreal.ca/~pesant/Constraints/Papers/CohenJJPS06.pdf",
  volume = "11",
  doi = "10.1007/s10601-006-8059-8",
}
@techreport{RR-06-06,
  title = "Generalising Submodularity and Horn Clauses: Tractable optimization problems defined by tournament pair multimorphisms",
  author = "Peter Jeavons and Martin C Cooper and David A Cohen",
  year = "2006",
  institution = "Oxford University Computing Laboratory",
  month = "December",
  number = "RR-06-06",
}
@inproceedings{AlgebraicCharacterisation,
  title = "An algebraic characterisation of complexity for valued constraints",
  author = "David Cohen and Martin Cooper and Peter Jeavons",
  year = "2006",
  booktitle = "Proceedings of the 12th International Conference on Principles and Practice of Contraint Programming (CP'06)",
  pages = "107-121",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/CP06expressibility.pdf",
  volume = "4204",
  doi = "10.1007/11889205_10",
}
@inbook{ComplexityConstraintLanguages,
  title = "The complexity of constraint languages",
  author = "David Cohen and Peter Jeavons",
  year = "2006",
  booktitle = "Handbook of Constraint Programming",
  chapter = "8",
  publisher = "Elsevier",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/ComplexityLanguages.pdf",
}
@article{ComplexityOfSoft,
  title = "The complexity of soft constraint satisfaction",
  author = "David Cohen and Martin Cooper and Peter Jeavons and Andrei Krokhin",
  year = "2006",
  journal = "Artificial Intelligence",
  pages = "983-1016",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/AIJ-3418.pdf",
  volume = "170",
  doi = "10.1016/j.artint.2006.04.002",
}
@inproceedings{Houghton05:solution,
  title = "Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems",
  author = "Chris Houghton and David A. Cohen",
  year = "2005",
  booktitle = "Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP'05)",
  pages = "851",
  series = "Lecture Notes in Computer Science",
  volume = "3709",
  doi = "10.1007/11564751_89",
}
@article{SupermodularFunctions,
  title = "Supermodular functions and the complexity of MAX CSP",
  author = "David Cohen and Martin Cooper and Peter Jeavons and Andrei Krokhin",
  year = "2005",
  journal = "Discrete Applied Mathematics",
  note = "Earlier version appeared as Identifying efficiently solvable cases of Max CSP \url{http://web.comlab.ox.ac.uk/oucl/research/areas/constraints/publications/STACS04maxCSP.ps} in: Proceedings of STACS'04, Lecture Notes in Computer Science 2996 (2004)",
  pages = "53-72",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/DAMsupermodular.pdf",
  volume = "149",
  doi = "10.1016/j.dam.2005.03.003",
}
@article{ClassifyingComplexity,
  title = "Classifying the complexity of constraints using finite algebras",
  author = "Andrei Bulatov and Peter Jeavons and Andrei Krokhin",
  year = "2005",
  journal = "SIAM Journal on Computing",
  number = "34",
  pages = "720-742",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/SIAMclassifying.pdf",
  doi = "10.1137/S0097539700376676",
}
@inproceedings{Bulatov04:graph,
  title = "A Graph of a Relational Structure and Constraint Satisfaction Problems",
  author = "Andrei A. Bulatov",
  year = "2004",
  booktitle = "Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS'04)",
  pages = "448-45",
  url = "http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920448abs.htm",
}
@inproceedings{Bulatov04:partition,
  title = "The complexity of partition functions",
  author = "Andrei A. Bulatov and Martin Grohe",
  year = "2004",
  booktitle = "Proceedings of the 31st International Colloquium on Automata, Languages and Programming (ICALP'04)",
  pages = "294-306",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3142{\&}spage=294",
  volume = "3142",
}
@article{Cohen04:tractable,
  title = "Tractable Decision for a Constraint Language Implies Tractable Search",
  author = "David A. Cohen",
  year = "2004",
  journal = "Constraints",
  number = "3",
  pages = "219--229",
  url = "http://www.springerlink.com/content/v21231p3601625v4/",
  volume = "9",
}
@techreport{RR-04-08,
  title = "The Complexity of Constraint Satisfaction: An Algebraic Approach",
  author = "Andrei Krokhin and Andrei Bulatov and Peter Jeavons",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "May",
  number = "RR-04-08",
}
@techreport{RR-04-01,
  title = "Supermodular Functions and the Complexity of MAX CSP",
  author = "David Cohen and Martin Cooper and Peter Jeavons and Andrei Krokhin",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "January",
  number = "RR-04-01",
}
@inproceedings{CompleteCharacterization,
  title = "A complete characterization of complexity for Boolean constraint optimization problems",
  author = "David Cohen and Martin Cooper and Peter Jeavons",
  year = "2004",
  booktitle = "Proceedings of CP'04",
  number = "3258",
  pages = "212--226",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/CP04vsatdichotomy.ps",
}
@article{ImplementingTest,
  title = "Implementing a test for tractability",
  author = "Richard Gault and Peter Jeavons",
  year = "2004",
  journal = "Constraints",
  pages = "139--160",
  url = "http://www.kluweronline.com/article.asp?PIPS=5268458",
  volume = "9",
}
@article{MaximalTractable,
  title = "A maximal tractable class of soft constraints",
  author = "David Cohen and Martin Cooper and Peter Jeavons and Andrei Krokhin",
  year = "2004",
  journal = "Journal of Artificial Intelligence Research",
  note = "Earlier version appeared in: Proceedings of IJCAI'03, pp. 209-214: \url{http://www.comlab.ox.ac.uk/activities/constraints/publications/IJCAI03submodular.pdf}",
  number = "22",
  pages = "01/01/22",
  url = "http://www.jair.org/papers/paper1400.html",
}
@article{ConstraintSatisfaction,
  title = "Constraint satisfaction problems on intervals and lengths",
  author = "Andrei Krokhin and Peter Jeavons and Peter Jonsson",
  year = "2004",
  journal = "SIAM Journal on Discrete Mathematics",
  note = "Earlier version appears in Proceedings of STACS'02, Lecture Notes in Computer Science, 2285, (2002), pp. 443--454: \url{http://link.springer.de/link/service/series/0558/bibs/2285/22850443.htm} Preprint version available from Electronic Colloquium on Computational Complexity, as Report TR01-077: \url{http://eccc.hpi-web.de/report/2001/077/}",
  number = "17",
  pages = "453--477",
  url = "http://epubs.siam.org/sam-bin/dbq/article/41020",
}
@inproceedings{Green03:tractability,
  title = "Tractability by Approximating Constraint Languages",
  author = "Martin J. Green and David A. Cohen",
  year = "2003",
  booktitle = "Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP'03)",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/ewc4fxag1bupg9wh/",
  volume = "2833",
}
@inproceedings{Cohen03:new,
  title = "A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure",
  author = "David A. Cohen",
  year = "2003",
  booktitle = "Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP'03)",
  pages = "807-811",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2833{\&}spage=807",
  volume = "2833",
}
@inproceedings{Bulatov03:trichotomy,
  title = "Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem",
  author = "Andrei A. Bulatov and Victor Dalmau",
  year = "2003",
  booktitle = "Proceedings of the 44th Symposium on Foundations of Computer Science (FOCS'03)",
  url = "http://csdl.computer.org/comp/proceedings/focs/2003/2040/00/20400562abs.htm",
}
@article{Learnability,
  title = "Learnability of quantified formulas",
  author = "Victor Dalmau and Peter Jeavons",
  year = "2003",
  journal = "Theoretical Computer Science",
  note = "Earlier version appeared in Proceedings of EuroCOLT 99, Nordkirchen, Germany, (1999), pp. 63-78 : \url{http://link.springer.de/link/service/series/0558/bibs/1572/15720063.htm}",
  number = "306",
  pages = "485--511",
  url = "http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V1G-48WPV2S-1&_user=126524&_coverDate=09%2F05%2F2003&_rdoc=1&_fmt=high&_orig=search&_origin=search&_sort=d&_docanchor=&view=c&_rerunOrigin=scholar.google&_acct=C000010360&_version=1&_urlVersion=0&_userid=126524&md5=44eca8b4241d08eae4b7d80f4f4b4d39&searchtype=a",
}
@inproceedings{NewTractableClasses,
  title = "New Tractable Classes From Old",
  author = "David Cohen and Peter Jeavons and Richard Gault",
  year = "2003",
  journal = "Constraints",
  note = "Earlier version appears in Proceedings of CP2000, Lecture Notes In Computer Science, 1894, 2000, pp. 160--171 : \url{http://link.springer.de/link/service/series/0558/bibs/1894/18940160.htm}",
  number = "8",
  pages = "263--282",
  doi = "10.1023/A:1025623111033",
}
@inproceedings{ComplexityConstraintSatisfaction,
  title = "Structural Theory of Automata, Semigroups, and Universal Algebra",
  author = "Andrei Krokhin and Andrei Bulatov and Peter Jeavons",
  year = "2003",
  address = "University of Montreal",
  booktitle = "Proceedings of SMS-NATO ASI",
  note = "Earlier version available as an OUCL Research Report: \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-04-08.html}",
  pages = "181-213",
  url = "http://www.springer.com/sgw/cda/frontpage/0,11855,4-10043-22-52121384-0,00.html",
}
@inproceedings{Bulatov03:conservative,
  title = "Tractable conservative Constraint Satisfaction Problems",
  author = "Andrei A. Bulatov",
  year = "2003",
  booktitle = "Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS'03)",
  url = "http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840321abs.htm",
}
@inproceedings{Bulatov03:ijcai,
  title = "Amalgams of Constraint Satisfaction Problem",
  author = "Andrei A. Bulatov and Evgeny S. Skvortsov",
  year = "2003",
  booktitle = "Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03)",
  pages = "197-202",
}
@inproceedings{SoftConstraints,
  title = "Soft constraints: complexity and multimorphsims",
  author = "David Cohen and Martin Cooper and Peter Jeavons and Andrei Krokhin",
  year = "2003",
  booktitle = "Proceedings of CP'03",
  number = "2833",
  pages = "244--258",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/activities/constraints/publications/CP03multimorphisms.pdf",
}
@inproceedings{QuantifiedConstraints,
  title = "Quantified constraints: algorithms and complexity",
  author = "Ferdinand B{\"o}rner and Andrei Bulatov and Peter Jeavons and Andrei Krokhin",
  year = "2003",
  booktitle = "Proceedings of CSL'03",
  note = "Longer version available as an OUCL Research Report: \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-02-11.html}",
  number = "2803",
  pages = "58--70",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/content/2gmm51wv6xjx1u3e/fulltext.pdf",
  doi = "10.1007/b13224",
}
@inproceedings{FunctionsOf,
  title = "Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey",
  author = "Andrei Krokhin and Andrei Bulatov and Peter Jeavons",
  year = "2003",
  booktitle = "Proceedings of 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL'03)",
  pages = "343--351",
  url = "http://www.cs.ox.ac.uk/activities/constraints/publications/ISMVL03survey.ps",
}
@inproceedings{AlgebraicApproach,
  title = "An algebraic approach to multi-sorted constraints",
  author = "Andrei Bulatov and Peter Jeavons",
  year = "2003",
  booktitle = "Proceedings of CP'03",
  note = "Earlier version available as an OUCL Research Report : \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-01-18.html}",
  number = "2833",
  pages = "183--198",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/activities/constraints/publications/CP03multisorted.pdf",
}
@article{ReasoningTemporalRelations,
  title = "Reasoning about temporal relations : the tractable subalgebras of Allen's interval algebra",
  author = "Andrei Krokhin and Peter Jeavons and Peter Jonsson",
  year = "2003",
  journal = "Journal of the ACM",
  note = "Earlier version available as an OUCL Research Report : \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-01-12.html}",
  number = "50",
  pages = "591--640",
  doi = "10.1145/876638.876639",
}
@inproceedings{FiniteSemigroups,
  title = "Finite semigroups imposing tractable constraints",
  author = "Andrei Bulatov and Peter Jeavons and Mikhail Volkov",
  year = "2002",
  booktitle = "Proceedings of the School on Algorithmic Aspects of the Theory of Semigroups and its Applications, Coimbra, Portugal, 2001",
  pages = "313--329",
  publisher = "World Scientific, Singapore",
}
@inproceedings{Bulatov02:3-element,
  title = "A Dichotomy Theorem for Constraints on a Three-Element Set",
  author = "Andrei A. Bulatov",
  year = "2002",
  booktitle = "Proceedings of the 43rd Symposium on Foundations of Computer Science (FOCS'02)",
  url = "http://doi.ieeecomputersociety.org/10.1109/SFCS.2002.1181990",
}
@inproceedings{ComplexityMaximal,
  title = "The complexity of maximal constraint languages",
  author = "Andrei Bulatov and Andrei Krokhin and Peter Jeavons",
  year = "2001",
  booktitle = "Proceedings of STOC'01, Crete, Greece",
  note = "Earlier version available as an OUCL Research Report : \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-01-03.html}",
  pages = "667--674",
  doi = "10.1145/380752.380868",
}
@techreport{AlgebraicStructures,
  title = "Algebraic structures in combinatorial problems",
  author = "Andrei Bulatov and Peter Jeavons",
  year = "2001",
  institution = "Technische Universitat Dresden",
  number = "MATH-AL-4-2001",
  pages = "32",
  url = "http://www.cs.sfu.ca/~abulatov/papers/varieties.ps",
}
@inproceedings{CompleteClassification,
  title = "A complete classification of complexity in Allen's algebra in the presence of a non-trivial basic relation",
  author = "Andrei Krokhin and Peter Jeavons and Peter Jonsson",
  year = "2001",
  booktitle = "Proceedings of IJCAI'01, Seattle, USA",
  note = "Longer version available as an OUCL Research Report : \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-01-02.html}",
  pages = "83--88",
}
@article{BuildingTractable,
  title = "Building tractable disjunctive constraints",
  author = "David Cohen and Peter Jeavons and Peter Jonsson and Manolis Koubarakis",
  year = "2000",
  journal = "Journal of the ACM",
  number = "47",
  pages = "826--853",
  url = "http://portal.acm.org/citation.cfm?id=355483.355485",
  doi = "10.1145/355483.355485",
}
@techreport{TractableConstraints,
  title = "Tractable constraints closed under a binary operation",
  author = "Andrei Bulatov and Peter Jeavons",
  year = "2000",
  institution = "Oxford University Computing Laboratory",
  number = "PRG-TR-12-00",
  pages = "27",
  url = "http://www.cs.ox.ac.uk/techreports/oucl/TR-12-00.ps.gz",
}
@inproceedings{ConstraintSatisfactionProblems,
  title = "Constraint satisfaction problems and finite algebras",
  author = "Andrei Bulatov and Andrei Krokhin, and Peter Jeavons",
  year = "2000",
  booktitle = "Proceedings of ICALP'00",
  note = "Longer version available as an OUCL Technical Report : \url{http://web.comlab.ox.ac.uk/oucl/publications/tr/tr-4-99.html}",
  number = "1853",
  pages = "272--282",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/1853/18530272.htm",
  doi = "10.1007/3-540-45022-X_24",
}
@inproceedings{HowToDetermine,
  title = "How to determine the expressive power of constraints",
  author = "P.G.Jeavons and D.A.Cohen and M.Gyssens",
  year = "1999",
  booktitle = "Constraints",
  number = "4",
  pages = "113--131",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/how_to_determine.ps",
}
@inproceedings{ConstraintTractability,
  title = "Constraint Tractability Theory And Its Application to the Product Development Process for a Constraint-Based Scheduler",
  author = "Lisa Purvis and Peter Jeavons",
  year = "1999",
  booktitle = "Proceedings of the 1st International Conference on The Practical Application of Constraint Technologies and Logic Programming",
  note = "This paper was awarded First Prize in the Constraints Technologies area of PACLP'99",
  pages = "63--79",
  url = "http://cse.unl.edu/~choueiry/F03-421-821/Documents/LP-PACLP.doc",
}
@article{OnTheAlgebraicStructure,
  title = "On The Algebraic Structure Of Combinatorial Problems",
  author = "P.G.Jeavons",
  year = "1998",
  journal = "Theoretical Computer Science",
  number = "200",
  pages = "185--204",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/algebraic.ps",
}
@article{ConstraintsConsistencyClosure,
  title = "Constraints, Consistency and Closure",
  author = "P.G.Jeavons and D.A.Cohen and M.Cooper",
  year = "1998",
  journal = "Artificial Intelligence",
  number = "101 (1-2)",
  pages = "251--265",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/conconclo.ps",
}
@article{ConstraintsAndUniversalAlgebra,
  title = "Constraints and Universal Algebra",
  author = "P.G.Jeavons and D.A.Cohen and J.K.Pearson",
  year = "1998",
  journal = "Annals of Mathematics and Artificial Intelligence",
  number = "24",
  pages = "51--67",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/con_and_universal.ps",
}
@inproceedings{WhyHigher,
  title = "Why higher order constraints are necessary to model frequency assignment problems",
  author = "P.G.Jeavons and N.W.Dunkin and J.E.Bater",
  year = "1998",
  booktitle = "ECAI'98 Workshop on Non-binary constraints",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/ecaiversion.ps",
}
@techreport{TowardsHighOrder,
  title = "Towards High Order Constraint Representations for the Frequency Assignment Problem",
  author = "N.W.Dunkin and J.E.Bater and P.G.Jeavons and D.A.Cohen",
  year = "1998",
  institution = "Royal Holloway, University of London",
  month = "June",
  number = "CSD-TR-98-05",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/CSD-TR-98-05.ps",
}
@inproceedings{ConstructingConstraints,
  title = "Constructing constraints",
  author = "P.G.Jeavons",
  year = "1998",
  booktitle = "Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming (CP98)",
  pages = "2-16",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/constructing.ps",
  volume = "1520",
  doi = "10.1007/3-540-49481-2_2",
}
@techreport{AreThere,
  title = "Are there optimal reuse distance constraints for FAPs with random Tx placements?",
  author = "J.E.Bater and P.G.Jeavons and D.A.Cohen",
  year = "1998",
  institution = "Royal Holloway,  University of London",
  month = "February",
  number = "CSD-TR-98-01",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/CSD-TR-98-01.ps",
}
@article{ClosreProperties,
  title = "Closure Properties of Constraints",
  author = "P.G.Jeavons and D.A.Cohen and M.Gyssens",
  year = "1997",
  journal = "Journal of the ACM",
  number = "44",
  pages = "527--548",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/closure.ps",
}
@inproceedings{TractableDisjunctive,
  title = "Tractable Disjunctive Constraints",
  author = "D.A.Cohen and P.G.Jeavons and M.Kourabarakis",
  year = "1997",
  booktitle = "Proceedings 3rd International Conference on Principles and Practice of Constraint Programming (CP97)",
  number = "1330",
  pages = "478--490",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/tractable.ps",
  volume = "1330",
  doi = "10.1007/BFb0017461",
}
@inproceedings{Expressiveness,
  title = "Expressiveness of Binary Constraints for the Frequency Assignment Problem",
  author = "N.W.Dunkin and P.G.Jeavons",
  year = "1997",
  booktitle = "DIAL-M Workshop, 3rd Annual ACM/IEEE International Conference on Mobile Computing and Networking (MOBICOM'97)",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/dunk97.ps",
}
@techreport{SurveyTractable,
  title = "A Survey of Tractable Constraint Satisfaction Problems",
  author = "J.K.Pearson and P.G.Jeavons",
  year = "1997",
  institution = "Royal Holloway, University of London",
  month = "July",
  number = "CSD-TR-97-15",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/survey.ps",
}
@inproceedings{DerivationOfConstraint,
  title = "Derivation of Constraints and Database Relations",
  author = "D.A.Cohen and M.Gyssens and P.G.Jeavons",
  year = "1996",
  booktitle = "Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP96)",
  pages = "134--148",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/derivation.ps",
  volume = "1118",
  doi = "10.1007/3-540-61551-2_71",
}
@inproceedings{TestForTractability,
  title = "A Test for Tractability",
  author = "P.G.Jeavons and D.A.Cohen and M.Gyssens",
  year = "1996",
  booktitle = "Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP96)",
  pages = "267-281",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/tractability.ps",
  volume = "1118",
  doi = "10.1007/3-540-61551-2_80",
}
@article{TractableConstraintsOrdered,
  title = "Tractable Constraints on Ordered Domains",
  author = "P.G.Jeavons and M.C.Cooper",
  year = "1995",
  journal = "Artificial Intelligence",
  number = "79(2)",
  pages = "327--339",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/maxclos.ps",
}
@inproceedings{UnifyingFramework,
  title = "A Unifying Framework for Tractable Constraints",
  author = "P.G.Jeavons and D.A.Cohen and M.Gyssens",
  year = "1995",
  booktitle = "Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP95)",
  pages = "276-291",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/unifying.ps",
  volume = "976",
  doi = "10.1007/3-540-60299-2_17",
}
@inproceedings{SubstitutionOperation,
  title = "A Substitution Operation for Constraints",
  author = "P.G.Jeavons and D.A.Cohen and M.C.Cooper",
  year = "1995",
  booktitle = "Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP95)",
  pages = "161-177",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/substitution.ps",
  volume = "874",
  doi = "10.1007/3-540-58601-6_85",
}
@article{RecoveringRelation,
  title = "Recovering a Relation from a Decomposition using Constraint Satisfaction Techniques",
  author = "P.G.Jeavons",
  year = "1994",
  journal = "Information Sciences",
  number = "78",
  pages = "229--256",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/recovering.ps",
}
@article{StructuralDecomposition,
  title = "A Structural Decomposition for Hypergraphs",
  author = "P.G.Jeavons and D.A.Cohen and M.Gyssens",
  year = "1994",
  journal = "Contemporary Mathematics",
  number = "178",
  pages = "161--177",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/contmath.ps",
}
@article{DecomposingConstraint,
  title = "Decomposing Constraint Satisfaction Problems Using Database Techniques",
  author = "M.Gyssens and P.G.Jeavons and D.A.Cohen",
  year = "1994",
  journal = "Artificial Intelligence",
  number = "66(1)",
  pages = "57-89",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/decomposing.ps",
}
@article{CharacterisingTractable,
  title = "Characterising Tractable Constraints",
  author = "M.C.Cooper and D.A.Cohen and P.G.Jeavons",
  year = "1994",
  journal = "Artificial Intelligence",
  number = "65(2)",
  pages = "347--361",
  url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/characterising.ps",
}