Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

  • Manuel Bodirsky - , Ecole Polytechnique (Author)
  • Peter Jonsson - (Author)
  • Timo von Oertzen - (Author)

Details

Original languageEnglish
Pages (from-to)643-660
Number of pages18
Journal Journal of logic and computation
Volume22
Issue number3
Publication statusPublished - 2012
Peer-reviewedYes
Externally publishedYes

External IDs

Scopus 84861838863
ORCID /0000-0001-8228-3611/work/142241171

Keywords

Library keywords