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
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation8
Reasoning about Quality and Fuzziness of Strategic Behaviors8
Local Search For Satisfiability Modulo Integer Arithmetic Theories6
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions5
Tractability Frontier of Data Complexity in Team Semantics5
Probabilistic Temporal Reasoning Using Superposition Semantics5
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation5
0.025309085845947