ACM TRANSACTIONS ON COMPUTATIONAL LOGIC Home

ACM Transactions on Computational Logic

Volume 24, Issue 4

October 2023

ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and programming languages.

Editor-in-Chief:

Anuj Dawar

Subscribe to Journal Recommend ACM DL

ALREADY A SUBSCRIBER?SIGN IN

Bibliometrics

Subject Areas

Announcements

New ACM Policy on Authorship

ACM has a new Policy on Authorship, covering a range of key topics, including the use of generative AI tools. Please familiarize yourself with the new policy and the associated list of Frequently Asked Questions.

Most Frequent Affiliations

Most Cited Authors

Latest Issue

Volume 24, Issue 4 October 2023
ISSN:1529-3785
EISSN:1557-945X
View Table of Contents
research-article
Open Access
Local Search For Satisfiability Modulo Integer Arithmetic Theories
- Shaowei Cai
  State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences and School of Computer Science and Technology, University of Chinese Academy of Sciences, China
  ,
- Bohan Li
  State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences and School of Computer Science and Technology, University of Chinese Academy of Sciences, China
  ,
- Xindi Zhang
  State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences and School of Computer Science and Technology, University of Chinese Academy of Sciences, China
July 2023Article No.: 32 pp 1-26 https://doi.org/10.1145/3597495
research-article
Open Access
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
- Randal E. Bryant
  Carnegie Mellon University, USA
  ,
- Marijn J. H. Heule
  Carnegie Mellon University, USA
July 2023Article No.: 31 pp 1-28 https://doi.org/10.1145/3595295