Search Results - "Satisfiability (Computer science)"

Parallel optimization for satisfiability problem solving.

Authors: LI, Ji ZHOU, Lei GONG, Chunye et al.

Source: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue. May2026, Vol. 48 Issue 5, p793-802. 10p.

Subjects: Satisfiability (Computer science), Parallel programming, Constraint satisfaction, Software verification, Verification of computer systems

CCSAT:基于冲突驱动子句学习的电路求解器.

Alternate Title: CCSAT: circuit-based SAT solver using conflict-driven clause learning.

Authors: 罗茂 陈润尧' 黄意雯" et al.

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. May2026, Vol. 43 Issue 5, p1449-1455. 7p.

A RESOLUTION-BASED INTERACTIVE PROOF SYSTEM FOR UNSAT.

Authors: CZERNER, PHILIPP ESPARZA, JAVIER KRASOTIN, VALENTIN et al.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-27, 27p

Replacement-Based Key-Controlled Circuits: A New Lightweight Logic-Locking Technique to Prevent the SAT Attack and Its Variants.

Authors: Wang, Weizheng Zhao, Luoyi Cai, Shuo

Source: Applied Sciences (2076-3417); Jan2026, Vol. 16 Issue 2, p925, 28p

THE COMPLEXITY OF SECOND-ORDER HYPERLTL.

Authors: FRENKEL, HADAR REGAUD, GAËTAN ZIMMERMANN, MARTIN

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p26:1-26:54, 54p

Partial Minimum Satisfiability: Fine-Grained Analysis.

Authors: BLIZNETS, IVAN SAGUNOV, DANIL SIMONOV, KIRILL

Source: Journal of Artificial Intelligence Research. 2026, Vol. 85, p1-20. 20p.

A Topological Parallel Algorithm for the Pure Literal Rule in the Satisfiability Problem Solving Using a Matrix-Based Approach.

Authors: Tan, Jieqing Li, Yingjie

Source: Applied Sciences (2076-3417); Dec2025, Vol. 15 Issue 24, p13111, 16p

The phase transition in random regular exact (3 s  + s , k)-SAT problem.

Authors: Tang, Ao Wang, Xiaofeng Peng, Qingyuan et al.

Source: Journal of Intelligent & Fuzzy Systems. Aug2025, Vol. 49 Issue 2, p340-350. 11p.

Subjects: Phase transitions, Satisfiability (Computer science), Empirical research, Mathematical proofs, Boolean expressions, Graph theory

Combining Combination Properties, Part I: Nelson-Oppen and Politeness.

Authors: Toledo, Guilherme V. Zohar, Yoni Barrett, Clark

Source: Journal of Automated Reasoning. Jun2026, Vol. 70 Issue 1, p1-60. 60p.

Subjects: Model theory, Satisfiability (Computer science), Boolean functions

Differential Attacks by Algebraic Solving on a Series of HE‐Friendly Stream Ciphers.

Authors: Hu, Xichao Jiao, Lin Li, Yongqiang et al.

Source: IET Information Security (Wiley-Blackwell). 5/6/2026, Vol. 2026, p1-17. 17p.

Subjects: Stream ciphers, Satisfiability (Computer science), Cryptography, Data encryption, Algebraic equations

DATA-AWARE HYBRID TABLEAUX.

Authors: ARECES, CARLOS CASSANO, VALENTIN FERVARI, RAUL

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p26:1-26:31, 31p

Accurate Modeling of Continuous-time SAT Solvers in SPICE.

Authors: PERSHIN, Yuriy V. Dyk Chung NGUYEN

Source: Radioengineering; Sep2025, Vol. 34 Issue 3, p526-540, 15p

G-type random weighted k-satisfiability of k ≤ 3 logical representation with election in discrete hopfield neural network.

Authors: Malik, Amierah Abdul Mansor, Mohd. Asyraf Zamri, Nur Ezlin

Source: AIP Conference Proceedings. 2026, Vol. 3444 Issue 1, p1-9. 9p.

PSPACE-completeness of bimodal transitive weak-density logic.

Authors: Gasquet, Olivier¹ (AUTHOR)

Source: Logic Journal of the IGPL. Feb2026, Vol. 34 Issue 1, p1-18. 18p.

Towards ILP-based LTLf passive learning.

Authors: Ielo, Antonio Law, Mark Fionda, Valeria et al.

Source: Journal of Logic & Computation. Mar2026, Vol. 36 Issue 2, p1-30. 30p.

Subjects: Induction (Logic), Satisfiability (Computer science), Machine learning, Inference (Logic), Nonmonotonic logic

Regional controllability of cellular automata as a SAT problem.

Authors: Bagnoli, Franco Dridi, Sara Fatès, Nazim

Source: Natural Computing. 2026, Vol. 25 Issue 1, p1-16. 16p.

Subjects: Cellular automata, Satisfiability (Computer science), System analysis, System dynamics, Controllability in systems engineering

On using SAT solvers for graph computations.

Authors: Courcelle, B. Durand, I.

Source: Discrete Applied Mathematics. Feb2026, Vol. 380, p348-366. 19p.

Subjects: Directed graphs, Satisfiability (Computer science), Graph labelings, Graph algorithms, NP-complete problems

AUTOMATA LINEAR DYNAMIC LOGIC ON FINITE TRACES.

Authors: SMITH, KEVIN W. VARDI, MOSHE Y.

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-28, 28p

A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs.

Authors: FRANCÈS DE MAS, JORDINA BOWLES, JULIANA

Source: Theory & Practice of Logic Programming. May2025, Vol. 25 Issue 3, p374-393. 20p.

Pattern extraction from medical dataset via permutation 3-satisfiability reverse analysis method in discrete hopfield neural network.

Authors: Malik, Amierah Abdul Mansor, Mohd. Asyraf

Source: AIP Conference Proceedings. 2026, Vol. 3462 Issue 1, p1-8. 8p.