Computational logic

2 items

RESEARCHarXiv CS.AI·1d ago

Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

Accelerated Fourier SAT (AFSAT) is a GPU-accelerated solver for pseudo-Boolean satisfiability using continuous local search. It significantly improves numerical stability, runtime performance, and memory efficiency over its proof-of-concept by leveraging JAX for parallel processing and addressing memory/floating-point limitations.

SAT solver Computational logic GPU computing Optimization

RESEARCHarXiv CS.AI·26d ago

On the Size Complexity and Decidability of First-Order Progression

This paper investigates the size complexity and decidability of first-order progression, a method for updating knowledge bases in AI. It demonstrates that for specific action classes within the Situation Calculus framework, first-order progression grows polynomially and maintains decidability when using certain knowledge base fragments.

Computational logic Situation Calculus AI Theory Automated reasoning