ACM Transactions on Computational Logic

Papers
(The H4-Index of ACM Transactions on Computational Logic is 6. 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-05-01 to 2026-05-01.)
ArticleCitations
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation16
On Proof Complexity of Resolution over Polynomial Calculus13
Local Search For Satisfiability Modulo Integer Arithmetic Theories9
Reasoning about Quality and Fuzziness of Strategic Behaviors9
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions7
Datalog-Expressibility for Monadic and Guarded Second-Order Logic7
Primal Logic of Information6
Probabilistic Temporal Reasoning Using Superposition Semantics6
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?6
Good-for-Game QPTL: An Alternating Hodges Semantics6
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator6
0.04320216178894