Constraint satisfaction tractability from semi-lattice operations on infinite sets

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

Contributors

  • Manuel Bodirsky - , Ecole Polytechnique (Author)
  • H. Dugald Macpherson - (Author)
  • Johan Thapper - (Author)

Details

Original languageEnglish
Article number30
Pages (from-to)1-19
Number of pages19
JournalACM Trans. Comput. Log.
Volume14
Issue number4
Publication statusPublished - 2013
Peer-reviewedYes
Externally publishedYes

External IDs

Scopus 84890699533
ORCID /0000-0001-8228-3611/work/142241168

Keywords

Library keywords