Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/dagstuhl/2009P9441,
  editor       = {Andrei A. Bulatov and
                  Martin Grohe and
                  Phokion G. Kolaitis and
                  Andrei A. Krokhin},
  title        = {The Constraint Satisfaction Problem: Complexity and Approximability,
                  25.10. - 30.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/portals/09441/},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2009P9441.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BulatovGKK09,
  author       = {Andrei A. Bulatov and
                  Martin Grohe and
                  Phokion G. Kolaitis and
                  Andrei A. Krokhin},
  editor       = {Andrei A. Bulatov and
                  Martin Grohe and
                  Phokion G. Kolaitis and
                  Andrei A. Krokhin},
  title        = {09441 Abstracts Collection - The Constraint Satisfaction Problem:
                  Complexity and Approximability},
  booktitle    = {The Constraint Satisfaction Problem: Complexity and Approximability,
                  25.10. - 30.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2371/},
  timestamp    = {Thu, 10 Jun 2021 13:02:04 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BulatovGKK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BulatovGKK09a,
  author       = {Andrei A. Bulatov and
                  Martin Grohe and
                  Phokion G. Kolaitis and
                  Andrei A. Krokhin},
  editor       = {Andrei A. Bulatov and
                  Martin Grohe and
                  Phokion G. Kolaitis and
                  Andrei A. Krokhin},
  title        = {09441 Executive Summary - The Constraint Satisfaction Problem: Complexity
                  and Approximability},
  booktitle    = {The Constraint Satisfaction Problem: Complexity and Approximability,
                  25.10. - 30.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2370/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BulatovGKK09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/MartinM09,
  author       = {Barnaby Martin and
                  Jos Martin},
  editor       = {Andrei A. Bulatov and
                  Martin Grohe and
                  Phokion G. Kolaitis and
                  Andrei A. Krokhin},
  title        = {The complexity of positive first-order logic without equality {II:}
                  The four-element case},
  booktitle    = {The Constraint Satisfaction Problem: Complexity and Approximability,
                  25.10. - 30.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2367/},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MartinM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/ValerioteBC09,
  author       = {Matthew Valeriote and
                  Simone Bova and
                  Hubie Chen},
  editor       = {Andrei A. Bulatov and
                  Martin Grohe and
                  Phokion G. Kolaitis and
                  Andrei A. Krokhin},
  title        = {On the Expression Complexity of Equivalence and Isomorphism of Primitive
                  Positive Formulas},
  booktitle    = {The Constraint Satisfaction Problem: Complexity and Approximability,
                  25.10. - 30.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2369/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ValerioteBC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Willard09,
  author       = {Ross Willard},
  editor       = {Andrei A. Bulatov and
                  Martin Grohe and
                  Phokion G. Kolaitis and
                  Andrei A. Krokhin},
  title        = {{PP-DEFINABILITY} {IS} {CO-NEXPTIME-COMPLETE}},
  booktitle    = {The Constraint Satisfaction Problem: Complexity and Approximability,
                  25.10. - 30.10.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2368/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Willard09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}