ACM Transactions on Computational Logic

Papers
(The H4-Index of ACM Transactions on Computational Logic is 5. 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 2021-05-01 to 2025-05-01.)
ArticleCitations
On Proof Complexity of Resolution over Polynomial Calculus16
Strategic Knowledge Acquisition11
Reasoning about Quality and Fuzziness of Strategic Behaviors8
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation8
Local Search For Satisfiability Modulo Integer Arithmetic Theories6
Probabilistic Temporal Reasoning Using Superposition Semantics5
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation5
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions5
Tractability Frontier of Data Complexity in Team Semantics5
0.022271871566772