Convergence of datalog over (Pre-) Semirings
Article in Journal of the ACM (April 2024)
Complexity of Constraints
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
-
Altmetric BadgeChapter 3 Basics of Galois Connections
-
Altmetric BadgeChapter 4 Complexity of Constraints
-
Altmetric BadgeChapter 5 Dualities for Constraint Satisfaction Problems
-
Altmetric BadgeChapter 6 A Logical Approach to Constraint Satisfaction
-
Altmetric BadgeChapter 7 Uniform Constraint Satisfaction Problems and Database Theory
-
Altmetric BadgeChapter 8 Constraint Satisfaction Problems with Infinite Templates
-
Altmetric BadgeChapter 9 Partial Polymorphisms and Constraint Satisfaction Problems
-
Altmetric BadgeChapter 10 Introduction to the Maximum Solution Problem
-
Altmetric BadgeChapter 11 Present and Future of Practical SAT Solving
Altmetric Badge
Citations
- dimensions_citation
- 7 Dimensions
Readers on
- mendeley
- 8 Mendeley
- citeulike
- 1 CiteULike