Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David A. Cohen
@article{DBLP:journals/jair/KaznatcheevC020,
author = {Artem Kaznatcheev and
David A. Cohen and
Peter Jeavons},
title = {Representing Fitness Landscapes by Valued Constraints to Understand
the Complexity of Local Search},
journal = {J. Artif. Intell. Res.},
volume = {69},
pages = {1077--1102},
year = {2020},
url = {https://doi.org/10.1613/jair.1.12156},
doi = {10.1613/JAIR.1.12156},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/KaznatcheevC020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/orl/CohenCKW20,
author = {David A. Cohen and
Martin C. Cooper and
Artem Kaznatcheev and
Mark Wallace},
title = {Steepest ascent can be exponential in bounded treewidth problems},
journal = {Oper. Res. Lett.},
volume = {48},
number = {3},
pages = {217--224},
year = {2020},
url = {https://doi.org/10.1016/j.orl.2020.02.010},
doi = {10.1016/J.ORL.2020.02.010},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/orl/CohenCKW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gkr/CohenCJZ20,
author = {David A. Cohen and
Martin C. Cooper and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
editor = {Michael Cochez and
Madalina Croitoru and
Pierre Marquis and
Sebastian Rudolph},
title = {Galois Connections for Patterns: An Algebra of Labelled Graphs},
booktitle = {Graph Structures for Knowledge Representation and Reasoning - 6th
International Workshop, {GKR} 2020, Virtual Event, September 5, 2020,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12640},
pages = {125--150},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-72308-8\_9},
doi = {10.1007/978-3-030-72308-8\_9},
timestamp = {Sat, 09 Apr 2022 12:41:42 +0200},
biburl = {https://dblp.org/rec/conf/gkr/CohenCJZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/CarbonnelCCZ19,
author = {Cl{\'{e}}ment Carbonnel and
David A. Cohen and
Martin C. Cooper and
Stanislav Zivn{\'{y}}},
title = {On Singleton Arc Consistency for CSPs Defined by Monotone Patterns},
journal = {Algorithmica},
volume = {81},
number = {4},
pages = {1699--1727},
year = {2019},
url = {https://doi.org/10.1007/s00453-018-0498-2},
doi = {10.1007/S00453-018-0498-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/CarbonnelCCZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CohenCJZ19,
author = {David A. Cohen and
Martin C. Cooper and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
title = {Binary constraint satisfaction problems defined by excluded topological
minors},
journal = {Inf. Comput.},
volume = {264},
pages = {12--31},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2018.09.013},
doi = {10.1016/J.IC.2018.09.013},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CohenCJZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KaznatcheevCJ19,
author = {Artem Kaznatcheev and
David A. Cohen and
Peter G. Jeavons},
editor = {Thomas Schiex and
Simon de Givry},
title = {Representing Fitness Landscapes by Valued Constraints to Understand
the Complexity of Local Search},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {300--316},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_18},
doi = {10.1007/978-3-030-30048-7\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KaznatcheevCJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-01218,
author = {Artem Kaznatcheev and
David A. Cohen and
Peter G. Jeavons},
title = {Representing fitness landscapes by valued constraints to understand
the complexity of local search},
journal = {CoRR},
volume = {abs/1907.01218},
year = {2019},
url = {http://arxiv.org/abs/1907.01218},
eprinttype = {arXiv},
eprint = {1907.01218},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-01218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08600,
author = {David A. Cohen and
Martin C. Cooper and
Artem Kaznatcheev and
Mark Wallace},
title = {Steepest ascent can be exponential in bounded treewidth problems},
journal = {CoRR},
volume = {abs/1911.08600},
year = {2019},
url = {http://arxiv.org/abs/1911.08600},
eprinttype = {arXiv},
eprint = {1911.08600},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CooperJC18,
author = {Martin C. Cooper and
Wafa Jguirim and
David A. Cohen},
editor = {John N. Hooker},
title = {Domain Reduction for Valued Constraints by Generalising Methods from
{CSP}},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {64--80},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_5},
doi = {10.1007/978-3-319-98334-9\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CooperJC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CarbonnelCCZ18,
author = {Cl{\'{e}}ment Carbonnel and
David A. Cohen and
Martin C. Cooper and
Stanislav Zivn{\'{y}}},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {On Singleton Arc Consistency for CSPs Defined by Monotone Patterns},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {19:1--19:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.19},
doi = {10.4230/LIPICS.STACS.2018.19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CarbonnelCCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CohenJ17,
author = {David A. Cohen and
Peter G. Jeavons},
title = {The power of propagation: when {GAC} is enough},
journal = {Constraints An Int. J.},
volume = {22},
number = {1},
pages = {3--23},
year = {2017},
url = {https://doi.org/10.1007/s10601-016-9251-0},
doi = {10.1007/S10601-016-9251-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/CohenJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/CohenCJKPZ17,
author = {David A. Cohen and
Martin C. Cooper and
Peter G. Jeavons and
Andrei A. Krokhin and
Robert Powell and
Stanislav Zivn{\'{y}}},
title = {Binarisation for Valued Constraint Satisfaction Problems},
journal = {{SIAM} J. Discret. Math.},
volume = {31},
number = {4},
pages = {2279--2300},
year = {2017},
url = {https://doi.org/10.1137/16M1088107},
doi = {10.1137/16M1088107},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamdm/CohenCJKPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CarbonnelCCZ17,
author = {Cl{\'{e}}ment Carbonnel and
David A. Cohen and
Martin C. Cooper and
Stanislav Zivn{\'{y}}},
title = {On Singleton Arc Consistency for Natural CSPs Defined by Forbidden
Patterns},
journal = {CoRR},
volume = {abs/1704.06215},
year = {2017},
url = {http://arxiv.org/abs/1704.06215},
eprinttype = {arXiv},
eprint = {1704.06215},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CarbonnelCCZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/CohenCGGJ16,
author = {David A. Cohen and
Jason Crampton and
Andrei Gagarin and
Gregory Z. Gutin and
Mark Jones},
title = {Algorithms for the workflow satisfiability problem engineered for
counting constraints},
journal = {J. Comb. Optim.},
volume = {32},
number = {1},
pages = {3--24},
year = {2016},
url = {https://doi.org/10.1007/s10878-015-9877-7},
doi = {10.1007/S10878-015-9877-7},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jco/CohenCGGJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/CohenJP16,
author = {David A. Cohen and
Christopher Jefferson and
Karen E. Petrie},
editor = {Jorge A. Baier and
Adi Botea},
title = {A Theoretical Framework for Constraint Propagator Triggering},
booktitle = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
{SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
pages = {19--27},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/socs.v7i1.18388},
doi = {10.1609/SOCS.V7I1.18388},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/CohenJP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CohenCJKPZ16,
author = {David A. Cohen and
Martin C. Cooper and
Peter G. Jeavons and
Andrei A. Krokhin and
Robert Powell and
Stanislav Zivn{\'{y}}},
title = {Binarisation for Valued Constraint Satisfaction Problems},
journal = {CoRR},
volume = {abs/1608.01628},
year = {2016},
url = {http://arxiv.org/abs/1608.01628},
eprinttype = {arXiv},
eprint = {1608.01628},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CohenCJKPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CohenCJZ16,
author = {David A. Cohen and
Martin C. Cooper and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
title = {Binary Constraint Satisfaction Problems Defined by Excluded Topological
Minors},
journal = {CoRR},
volume = {abs/1608.05358},
year = {2016},
url = {http://arxiv.org/abs/1608.05358},
eprinttype = {arXiv},
eprint = {1608.05358},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CohenCJZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CohenCEZ15,
author = {David A. Cohen and
Martin C. Cooper and
Guillaume Escamocher and
Stanislav Zivn{\'{y}}},
title = {Variable and value elimination in binary constraint satisfaction via
forbidden patterns},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {7},
pages = {1127--1143},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2015.02.001},
doi = {10.1016/J.JCSS.2015.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CohenCEZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CohenCJZ15,
author = {David A. Cohen and
Martin C. Cooper and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
editor = {Blai Bonet and
Sven Koenig},
title = {Binarisation via Dualisation for Valued Constraints},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3731--3737},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9749},
doi = {10.1609/AAAI.V29I1.9749},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CohenCJZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenCJZ15,
author = {David A. Cohen and
Martin C. Cooper and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Tractable Classes of Binary CSPs Defined by Excluded Topological Minors},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {1945--1951},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/276},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CohenCJZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/ChenTHPCDHGRWNB15,
author = {Liang Chen and
Tong Tong and
Chin Pang Ho and
Rajiv Patel and
David A. Cohen and
Angela C. Dawson and
Omid Halse and
Olivia Geraghty and
Paul E. M. Rinne and
Christopher J. White and
Tagore Nakornchai and
Paul Bentley and
Daniel Rueckert},
editor = {Nassir Navab and
Joachim Hornegger and
William M. Wells III and
Alejandro F. Frangi},
title = {Identification of Cerebral Small Vessel Disease Using Multiple Instance
Learning},
booktitle = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI}
2015 - 18th International Conference Munich, Germany, October 5-9,
2015, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9349},
pages = {523--530},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24553-9\_64},
doi = {10.1007/978-3-319-24553-9\_64},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/ChenTHPCDHGRWNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CohenCEZ15,
author = {David A. Cohen and
Martin C. Cooper and
Guillaume Escamocher and
Stanislav Zivn{\'{y}}},
title = {Variable and value elimination in binary constraint satisfaction via
forbidden patterns},
journal = {CoRR},
volume = {abs/1502.03796},
year = {2015},
url = {http://arxiv.org/abs/1502.03796},
eprinttype = {arXiv},
eprint = {1502.03796},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CohenCEZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CohenCGGJ15,
author = {David A. Cohen and
Jason Crampton and
Andrei V. Gagarin and
Gregory Z. Gutin and
Mark Jones},
title = {Algorithms for the workflow satisfiability problem engineered for
counting constraints},
journal = {CoRR},
volume = {abs/1504.02420},
year = {2015},
url = {http://arxiv.org/abs/1504.02420},
eprinttype = {arXiv},
eprint = {1504.02420},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CohenCGGJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CohenCGGJ14,
author = {David A. Cohen and
Jason Crampton and
Andrei Gagarin and
Gregory Z. Gutin and
Mark Jones},
title = {Iterative Plan Construction for the Workflow Satisfiability Problem},
journal = {J. Artif. Intell. Res.},
volume = {51},
pages = {555--577},
year = {2014},
url = {https://doi.org/10.1613/jair.4435},
doi = {10.1613/JAIR.4435},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CohenCGGJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faw/CohenCGGJ14,
author = {David A. Cohen and
Jason Crampton and
Andrei Gagarin and
Gregory Z. Gutin and
Mark Jones},
editor = {Jianer Chen and
John E. Hopcroft and
Jianxin Wang},
title = {Engineering Algorithms for Workflow Satisfiability Problem with User-Independent
Constraints},
booktitle = {Frontiers in Algorithmics - 8th International Workshop, {FAW} 2014,
Zhangjiajie, China, June 28-30, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8497},
pages = {48--59},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08016-1\_5},
doi = {10.1007/978-3-319-08016-1\_5},
timestamp = {Fri, 21 Aug 2020 17:12:21 +0200},
biburl = {https://dblp.org/rec/conf/faw/CohenCGGJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CohenCCJZ13,
author = {David A. Cohen and
Martin C. Cooper and
P{\'{a}}id{\'{\i}} Creed and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
title = {An Algebraic Theory of Complexity for Discrete Optimization},
journal = {{SIAM} J. Comput.},
volume = {42},
number = {5},
pages = {1915--1939},
year = {2013},
url = {https://doi.org/10.1137/130906398},
doi = {10.1137/130906398},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/CohenCCJZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenJTZ13,
author = {David A. Cohen and
Peter G. Jeavons and
Evgenij Thorstensen and
Stanislav Zivn{\'{y}}},
editor = {Christian Schulte},
title = {Tractable Combinations of Global Constraints},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {230--246},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_20},
doi = {10.1007/978-3-642-40627-0\_20},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenJTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenCEZ13,
author = {David A. Cohen and
Martin C. Cooper and
Guillaume Escamocher and
Stanislav Zivn{\'{y}}},
editor = {Francesca Rossi},
title = {Variable Elimination in Binary {CSP} via Forbidden Patterns},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {517--523},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6591},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CohenCEZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CohenCGJ13,
author = {David A. Cohen and
Jason Crampton and
Gregory Z. Gutin and
Mark Jones},
title = {Pattern-Based Plan Construction for the Workflow Satisfiability Problem},
journal = {CoRR},
volume = {abs/1306.3649},
year = {2013},
url = {http://arxiv.org/abs/1306.3649},
eprinttype = {arXiv},
eprint = {1306.3649},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CohenCGJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CohenJTZ13,
author = {David A. Cohen and
Peter G. Jeavons and
Evgenij Thorstensen and
Stanislav Zivn{\'{y}}},
title = {Tractable Combinations of Global Constraints},
journal = {CoRR},
volume = {abs/1307.2867},
year = {2013},
url = {http://arxiv.org/abs/1307.2867},
eprinttype = {arXiv},
eprint = {1307.2867},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CohenJTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CohenCCMS12,
author = {David A. Cohen and
Martin C. Cooper and
P{\'{a}}id{\'{\i}} Creed and
D{\'{a}}niel Marx and
Andr{\'{a}}s Z. Salamon},
title = {The Tractability of {CSP} Classes Defined by Forbidden Patterns},
journal = {J. Artif. Intell. Res.},
volume = {45},
pages = {47--78},
year = {2012},
url = {https://doi.org/10.1613/jair.3651},
doi = {10.1613/JAIR.3651},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CohenCCMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-6692,
author = {David A. Cohen and
Martin C. Cooper and
P{\'{a}}id{\'{\i}} Creed and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
title = {An Algebraic Theory of Complexity for Discrete Optimisation},
journal = {CoRR},
volume = {abs/1207.6692},
year = {2012},
url = {http://arxiv.org/abs/1207.6692},
eprinttype = {arXiv},
eprint = {1207.6692},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-6692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenCGM11,
author = {David A. Cohen and
Martin C. Cooper and
Martin James Green and
D{\'{a}}niel Marx},
editor = {Jimmy Ho{-}Man Lee},
title = {On Guaranteeing Polynomially Bounded Search Tree Size},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {160--171},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_14},
doi = {10.1007/978-3-642-23786-7\_14},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenCGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CohenCJZ11,
author = {David A. Cohen and
P{\'{a}}id{\'{\i}} Creed and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
editor = {Filip Murlak and
Piotr Sankowski},
title = {An Algebraic Theory of Complexity for Valued Constraints: Establishing
a Galois Connection},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International
Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6907},
pages = {231--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22993-0\_23},
doi = {10.1007/978-3-642-22993-0\_23},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CohenCJZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-1542,
author = {David A. Cohen and
Martin C. Cooper and
P{\'{a}}id{\'{\i}} Creed and
Andr{\'{a}}s Z. Salamon},
title = {The tractability of {CSP} classes defined by forbidden patterns},
journal = {CoRR},
volume = {abs/1103.1542},
year = {2011},
url = {http://arxiv.org/abs/1103.1542},
eprinttype = {arXiv},
eprint = {1103.1542},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-1542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0043,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons and
Andrei A. Krokhin},
title = {A Maximal Tractable Class of Soft Constraints},
journal = {CoRR},
volume = {abs/1107.0043},
year = {2011},
url = {http://arxiv.org/abs/1107.0043},
eprinttype = {arXiv},
eprint = {1107.0043},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmtm/ClementsDC10,
author = {Michael D. J. Clements and
David L. Dean and
David A. Cohen},
title = {Supplier selected relationships: choosing friends, over family},
journal = {Int. J. Manuf. Technol. Manag.},
volume = {19},
number = {1/2},
pages = {47--67},
year = {2010},
url = {https://doi.org/10.1504/IJMTM.2010.029450},
doi = {10.1504/IJMTM.2010.029450},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmtm/ClementsDC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/ZivnyCJ09,
author = {Stanislav Zivn{\'{y}} and
David A. Cohen and
Peter G. Jeavons},
title = {The expressive power of binary submodular functions},
journal = {Discret. Appl. Math.},
volume = {157},
number = {15},
pages = {3347--3358},
year = {2009},
url = {https://doi.org/10.1016/j.dam.2009.07.001},
doi = {10.1016/J.DAM.2009.07.001},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/ZivnyCJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenGH09,
author = {David A. Cohen and
Martin James Green and
Chris Houghton},
editor = {Ian P. Gent},
title = {Constraint Representations and Structural Tractability},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {289--303},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_24},
doi = {10.1007/978-3-642-04244-7\_24},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenGH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ZivnyCJ09,
author = {Stanislav Zivn{\'{y}} and
David A. Cohen and
Peter G. Jeavons},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {The Expressive Power of Binary Submodular Functions},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {744--757},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_63},
doi = {10.1007/978-3-642-03816-7\_63},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ZivnyCJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GreenC08,
author = {Martin James Green and
David A. Cohen},
title = {Domain permutation reduction for constraint satisfaction problems},
journal = {Artif. Intell.},
volume = {172},
number = {8-9},
pages = {1094--1118},
year = {2008},
url = {https://doi.org/10.1016/j.artint.2007.12.001},
doi = {10.1016/J.ARTINT.2007.12.001},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GreenC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CohenJG08,
author = {David A. Cohen and
Peter Jeavons and
Marc Gyssens},
title = {A unified theory of structural tractability for constraint satisfaction
problems},
journal = {J. Comput. Syst. Sci.},
volume = {74},
number = {5},
pages = {721--743},
year = {2008},
url = {https://doi.org/10.1016/j.jcss.2007.08.001},
doi = {10.1016/J.JCSS.2007.08.001},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CohenJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CohenCJ08,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons},
title = {Generalising submodularity and horn clauses: Tractable optimization
problems defined by tournament pair multimorphisms},
journal = {Theor. Comput. Sci.},
volume = {401},
number = {1-3},
pages = {36--51},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.015},
doi = {10.1016/J.TCS.2008.03.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CohenCJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CohenJZ08,
author = {David A. Cohen and
Peter G. Jeavons and
Stanislav Zivn{\'{y}}},
title = {The expressive power of valued constraints: Hierarchies and collapses},
journal = {Theor. Comput. Sci.},
volume = {409},
number = {1},
pages = {137--153},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.08.036},
doi = {10.1016/J.TCS.2008.08.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CohenJZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-1885,
author = {Stanislav Zivn{\'{y}} and
David A. Cohen and
Peter G. Jeavons},
title = {The Expressive Power of Binary Submodular Functions},
journal = {CoRR},
volume = {abs/0811.1885},
year = {2008},
url = {http://arxiv.org/abs/0811.1885},
eprinttype = {arXiv},
eprint = {0811.1885},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-1885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenJZ07,
author = {David A. Cohen and
Peter Jeavons and
Stanislav Zivn{\'{y}}},
editor = {Christian Bessiere},
title = {The Expressive Power of Valued Constraints: Hierarchies and Collapses},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {798--805},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_57},
doi = {10.1007/978-3-540-74970-7\_57},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenJZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CohenCJK06,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons and
Andrei A. Krokhin},
title = {The complexity of soft constraint satisfaction},
journal = {Artif. Intell.},
volume = {170},
number = {11},
pages = {983--1016},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2006.04.002},
doi = {10.1016/J.ARTINT.2006.04.002},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CohenCJK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CohenJJPS06,
author = {David A. Cohen and
Peter Jeavons and
Christopher Jefferson and
Karen E. Petrie and
Barbara M. Smith},
title = {Symmetry Definitions for Constraint Satisfaction Problems},
journal = {Constraints An Int. J.},
volume = {11},
number = {2-3},
pages = {115--137},
year = {2006},
url = {https://doi.org/10.1007/s10601-006-8059-8},
doi = {10.1007/S10601-006-8059-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/CohenJJPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CohenJJPS06,
author = {David A. Cohen and
Peter Jeavons and
Christopher Jefferson and
Karen E. Petrie and
Barbara M. Smith},
title = {Constraint Symmetry and Solution Symmetry},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {1589--1592},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-257.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CohenJJPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenCJ06,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {An Algebraic Characterisation of Complexity for Valued Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {107--121},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_10},
doi = {10.1007/11889205\_10},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenCJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenG06,
author = {David A. Cohen and
Martin James Green},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Typed Guarded Decompositions for Constraint Satisfaction},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {122--136},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_11},
doi = {10.1007/11889205\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoughtonCG06,
author = {Chris Houghton and
David A. Cohen and
Martin James Green},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {The Effect of Constraint Representation on Structural Tractability},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {726--730},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_59},
doi = {10.1007/11889205\_59},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HoughtonCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/CohenJ06,
author = {David A. Cohen and
Peter Jeavons},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {The Complexity of Constraint Languages},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {245--280},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80012-X},
doi = {10.1016/S1574-6526(06)80012-X},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/reference/fai/CohenJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CohenGJ06,
author = {David A. Cohen and
Marc Gyssens and
Peter Jeavons},
editor = {Nadia Creignou and
Phokion G. Kolaitis and
Heribert Vollmer},
title = {A Unifying Theory of Structural Decompostions for the Constraint Satisfaction
Problems},
booktitle = {Complexity of Constraints, 01.10. - 06.10.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/801},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CohenGJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/CohenCJK05,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons and
Andrei A. Krokhin},
title = {Supermodular functions and the complexity of {MAX} {CSP}},
journal = {Discret. Appl. Math.},
volume = {149},
number = {1-3},
pages = {53--72},
year = {2005},
url = {https://doi.org/10.1016/j.dam.2005.03.003},
doi = {10.1016/J.DAM.2005.03.003},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/CohenCJK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenJJPS05,
author = {David A. Cohen and
Peter Jeavons and
Christopher Jefferson and
Karen E. Petrie and
Barbara M. Smith},
editor = {Peter van Beek},
title = {Symmetry Definitions for Constraint Satisfaction Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {17--31},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_5},
doi = {10.1007/11564751\_5},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenJJPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoughtonC05,
author = {Chris Houghton and
David A. Cohen},
editor = {Peter van Beek},
title = {Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction
Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {851},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_89},
doi = {10.1007/11564751\_89},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HoughtonC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenJG05,
author = {David A. Cohen and
Peter Jeavons and
Marc Gyssens},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {A Unified Theory of Structural Tractability for Constraint Satisfaction
and Spread Cut Decomposition},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {72--77},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0521.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CohenJG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Cohen04,
author = {David A. Cohen},
title = {Tractable Decision for a Constraint Language Implies Tractable Search},
journal = {Constraints An Int. J.},
volume = {9},
number = {3},
pages = {219--229},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000036045.82829.94},
doi = {10.1023/B:CONS.0000036045.82829.94},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Cohen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CohenCJK04,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons and
Andrei A. Krokhin},
title = {A Maximal Tractable Class of Soft Constraints},
journal = {J. Artif. Intell. Res.},
volume = {22},
pages = {1--22},
year = {2004},
url = {https://doi.org/10.1613/jair.1400},
doi = {10.1613/JAIR.1400},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CohenCJK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/Cohen04a,
author = {David A. Cohen},
title = {EA-lect: an evolutionary algorithm for constructing logical rules
to predict election into Cooperstown},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2004, 19-23 June 2004, Portland, OR, {USA}},
pages = {1354--1361},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CEC.2004.1331054},
doi = {10.1109/CEC.2004.1331054},
timestamp = {Thu, 16 Dec 2021 13:58:46 +0100},
biburl = {https://dblp.org/rec/conf/cec/Cohen04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenCJ04,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons},
editor = {Mark Wallace},
title = {A Complete Characterization of Complexity for Boolean Constraint Optimization
Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {212--226},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_18},
doi = {10.1007/978-3-540-30201-8\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/CohenCJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CohenCJK04,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons and
Andrei A. Krokhin},
editor = {Volker Diekert and
Michel Habib},
title = {Identifying Efficiently Solvable Cases of Max {CSP}},
booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer
Science, Montpellier, France, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2996},
pages = {152--163},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24749-4\_14},
doi = {10.1007/978-3-540-24749-4\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/CohenCJK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CohenJG03,
author = {David A. Cohen and
Peter Jeavons and
Richard Gault},
title = {New Tractable Classes From Old},
journal = {Constraints An Int. J.},
volume = {8},
number = {3},
pages = {263--282},
year = {2003},
url = {https://doi.org/10.1023/A:1025623111033},
doi = {10.1023/A:1025623111033},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/CohenJG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenCJK03,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons and
Andrei A. Krokhin},
editor = {Francesca Rossi},
title = {Soft Constraints: Complexity and Multimorphisms},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {244--258},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_17},
doi = {10.1007/978-3-540-45193-8\_17},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/CohenCJK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GreenC03,
author = {Martin James Green and
David A. Cohen},
editor = {Francesca Rossi},
title = {Tractability by Approximating Constraint Languages},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {392--406},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_27},
doi = {10.1007/978-3-540-45193-8\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GreenC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Cohen03,
author = {David A. Cohen},
editor = {Francesca Rossi},
title = {A New Classs of Binary CSPs for which Arc-Constistency Is a Decision
Procedure},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {807--811},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_57},
doi = {10.1007/978-3-540-45193-8\_57},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Cohen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenCJK03,
author = {David A. Cohen and
Martin C. Cooper and
Peter Jeavons and
Andrei A. Krokhin},
editor = {Georg Gottlob and
Toby Walsh},
title = {A Maximal Tractable Class of Soft Constraints},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {209--214},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/030.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CohenCJK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CohenJJK00,
author = {David A. Cohen and
Peter Jeavons and
Peter Jonsson and
Manolis Koubarakis},
title = {Building tractable disjunctive constraints},
journal = {J. {ACM}},
volume = {47},
number = {5},
pages = {826--853},
year = {2000},
url = {https://doi.org/10.1145/355483.355485},
doi = {10.1145/355483.355485},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/CohenJJK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenJG00,
author = {David A. Cohen and
Peter Jeavons and
Richard Gault},
editor = {Rina Dechter},
title = {New Tractable Classes from Old},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
International Conference, Singapore, September 18-21, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1894},
pages = {160--171},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45349-0\_13},
doi = {10.1007/3-540-45349-0\_13},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenJG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/JeavonsCG99,
author = {Peter Jeavons and
David A. Cohen and
Marc Gyssens},
title = {How to Determine the Expressive Power of Constraints},
journal = {Constraints An Int. J.},
volume = {4},
number = {2},
pages = {113--131},
year = {1999},
url = {https://doi.org/10.1023/A:1009890709297},
doi = {10.1023/A:1009890709297},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/JeavonsCG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JeavonsCC98,
author = {Peter Jeavons and
David A. Cohen and
Martin C. Cooper},
title = {Constraints, Consistency and Closure},
journal = {Artif. Intell.},
volume = {101},
number = {1-2},
pages = {251--265},
year = {1998},
url = {https://doi.org/10.1016/S0004-3702(98)00022-8},
doi = {10.1016/S0004-3702(98)00022-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/JeavonsCC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/JeavonsCP98,
author = {Peter Jeavons and
David A. Cohen and
Justin Pearson},
title = {Constraints and Universal Algebra},
journal = {Ann. Math. Artif. Intell.},
volume = {24},
number = {1-4},
pages = {51--67},
year = {1998},
url = {https://doi.org/10.1023/A:1018941030227},
doi = {10.1023/A:1018941030227},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/JeavonsCP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/JeavonsCG97,
author = {Peter Jeavons and
David A. Cohen and
Marc Gyssens},
title = {Closure properties of constraints},
journal = {J. {ACM}},
volume = {44},
number = {4},
pages = {527--548},
year = {1997},
url = {https://doi.org/10.1145/263867.263489},
doi = {10.1145/263867.263489},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/JeavonsCG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenJK97,
author = {David A. Cohen and
Peter Jeavons and
Manolis Koubarakis},
editor = {Gert Smolka},
title = {Tractable Disjunctive Constraints},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {478--490},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017461},
doi = {10.1007/BFB0017461},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenJK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenGJ96,
author = {David A. Cohen and
Marc Gyssens and
Peter Jeavons},
editor = {Eugene C. Freuder},
title = {Derivation of Constraints and Database Relations},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {134--148},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_71},
doi = {10.1007/3-540-61551-2\_71},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenGJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JeavonsCG96,
author = {Peter Jeavons and
David A. Cohen and
Marc Gyssens},
editor = {Eugene C. Freuder},
title = {A test for Tractability},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {267--281},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_80},
doi = {10.1007/3-540-61551-2\_80},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/JeavonsCG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/JeavonsC95,
author = {Peter Jeavons and
David A. Cohen},
editor = {Ding{-}Zhu Du and
Ming Li},
title = {An Algebraic Characterization of Tractable Constraints},
booktitle = {Computing and Combinatorics, First Annual International Conference,
{COCOON} '95, Xi'an, China, August 24-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {959},
pages = {633--642},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0030886},
doi = {10.1007/BFB0030886},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/JeavonsC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JeavonsCG95,
author = {Peter Jeavons and
David A. Cohen and
Marc Gyssens},
editor = {Ugo Montanari and
Francesca Rossi},
title = {A Unifying Framework for Tractable Constraints},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {276--291},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_17},
doi = {10.1007/3-540-60299-2\_17},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/JeavonsCG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CooperCJ94,
author = {Martin C. Cooper and
David A. Cohen and
Peter Jeavons},
title = {Characterising Tractable Constraints},
journal = {Artif. Intell.},
volume = {65},
number = {2},
pages = {347--361},
year = {1994},
url = {https://doi.org/10.1016/0004-3702(94)90021-3},
doi = {10.1016/0004-3702(94)90021-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CooperCJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GyssensJC94,
author = {Marc Gyssens and
Peter Jeavons and
David A. Cohen},
title = {Decomposing Constraint Satisfaction Problems Using Database Techniques},
journal = {Artif. Intell.},
volume = {66},
number = {1},
pages = {57--89},
year = {1994},
url = {https://doi.org/10.1016/0004-3702(94)90003-5},
doi = {10.1016/0004-3702(94)90003-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GyssensJC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/JeavonsCS94,
author = {Peter Jeavons and
David A. Cohen and
John Shawe{-}Taylor},
title = {Generating binary sequences for stochastic computing},
journal = {{IEEE} Trans. Inf. Theory},
volume = {40},
number = {3},
pages = {716--720},
year = {1994},
url = {https://doi.org/10.1109/18.335883},
doi = {10.1109/18.335883},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/JeavonsCS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/JeavonsCC94,
author = {Peter Jeavons and
David A. Cohen and
Martin C. Cooper},
editor = {Alan Borning},
title = {A Substitution Operation for Constraints},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {1--9},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_85},
doi = {10.1007/3-540-58601-6\_85},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/JeavonsCC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CohenS92,
author = {David A. Cohen and
Elizabeth A. Scott},
title = {Rationality of Division Orderings},
journal = {Inf. Process. Lett.},
volume = {44},
number = {6},
pages = {307--311},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90105-5},
doi = {10.1016/0020-0190(92)90105-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CohenS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/AnthonyBCS92,
author = {Martin Anthony and
Graham R. Brightwell and
David A. Cohen and
John Shawe{-}Taylor},
editor = {David Haussler},
title = {On Exact Specification by Examples},
booktitle = {Proceedings of the Fifth Annual {ACM} Conference on Computational
Learning Theory, {COLT} 1992, Pittsburgh, PA, USA, July 27-29, 1992},
pages = {311--318},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/130385.130420},
doi = {10.1145/130385.130420},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/colt/AnthonyBCS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/Shawe-TaylorC90,
author = {John Shawe{-}Taylor and
David A. Cohen},
title = {Linear programming algorithm for neural networks},
journal = {Neural Networks},
volume = {3},
number = {5},
pages = {575--582},
year = {1990},
url = {https://doi.org/10.1016/0893-6080(90)90007-8},
doi = {10.1016/0893-6080(90)90007-8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/Shawe-TaylorC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/CohenMS88,
author = {David A. Cohen and
C. Mannion and
John Shawe{-}Taylor},
title = {Transformational theory of feedforward neural networks},
journal = {Neural Networks},
volume = {1},
number = {Supplement-1},
pages = {83--84},
year = {1988},
url = {https://doi.org/10.1016/0893-6080(88)90122-0},
doi = {10.1016/0893-6080(88)90122-0},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/CohenMS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-19 23:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
