ACM Transactions on Computational Logic

Papers
(The H4-Index of ACM Transactions on Computational Logic is 7. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-08-01 to 2026-08-01.)
ArticleCitations
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation18
Reasoning about Quality and Fuzziness of Strategic Behaviors15
Local Search For Satisfiability Modulo Integer Arithmetic Theories11
Datalog-Expressibility for Monadic and Guarded Second-Order Logic9
Probabilistic Temporal Reasoning Using Superposition Semantics8
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions8
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?7
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator7
Primal Logic of Information7
0.041914939880371