Treffer 1 - 20 von 990

1

The phase transition in random regular exact (3 s  + s , k)-SAT problem.
Tang, Ao ; Wang, Xiaofeng ; Peng, Qingyuan ; et al.
Journal of Intelligent & Fuzzy Systems. Aug2025, Vol. 49 Issue 2, p340-350. 11p.

EMPIRICAL research PHASE transitions SATISFIABILITY (Computer... MATHEMATICAL proofs BOOLEAN expressions GRAPH theory
Fachzeitschrift
Zu den Favoriten
2

A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules.
Orellana-Martín, David ; Valencia-Cabrera, Luis ; Pérez-Jiménez, Mario J.
International Journal of Foundations of Computer Science. Nov2025, Vol. 36 Issue 7, p1089-1116. 28p.

SATISFIABILITY (Computer... NP-complete problems COMPUTATIONAL complexity FORMAL verification
Fachzeitschrift
Zu den Favoriten
3

New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems.
Fiorino, Guido
Logic Journal of the IGPL. Dec2025, Vol. 33 Issue 6, p1-16. 16p.

SATISFIABILITY (Computer...
Fachzeitschrift
Zu den Favoriten
4

The Silent (R)evolution of SAT.
FICHTE, JOHANNES K. ; LE BERRE, DANIEL ; HECHER, MARKUS ; et al.
Communications of the ACM. Jun2023, Vol. 66 Issue 6, p64-72. 9p. 4 Diagrams, 1 Chart.

COMPUTER science SATISFIABILITY (Computer... MATHEMATICAL logic BOOLEAN functions MACHINE learning
Zeitschrift
Zu den Favoriten
5

The Surprising Power of Spectral Refutation.
Feige, Uriel
Communications of the ACM. Mar2025, Vol. 68 Issue 3, p82-82. 1p.

SATISFIABILITY (Computer... NP-hard problems HEURISTIC algorithms CONSTRAINT satisfaction HYPERGRAPHS
Zeitschrift
Zu den Favoriten
6

Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints.
Schwardt, Joachim ; Budich, Jan Carl
Proceedings of the National Academy of Sciences of the United States of America. 11/18/2025, Vol. 122 Issue 46, following p1-7. 7p.

SATISFIABILITY (Computer... HEURISTIC CONSTRAINT programming BENCHMARK problems (Comp... STOCHASTIC processes MATHEMATICAL optimizatio...
Fachzeitschrift
Zu den Favoriten
7

On using SAT solvers for graph computations.
Courcelle, B. ; Durand, I.
Discrete Applied Mathematics. Feb2026, Vol. 380, p348-366. 19p.

DIRECTED graphs SATISFIABILITY (Computer... GRAPH labelings GRAPH algorithms NP-complete problems
Fachzeitschrift
Zu den Favoriten
8

Testing Quantum Satisfiability.
Montanaro, Ashley ; Shao, Changpeng ; Verdon, Dominic
Communications in Mathematical Physics. Oct2025, Vol. 406 Issue 10, p1-35. 35p.

SATISFIABILITY (Computer... QUANTUM computing HAMILTONIAN operator QUANTUM states
Fachzeitschrift
Zu den Favoriten
9

On the Counting Version of the Maximum 2-Satisfiability Problem.
Popov, V. Yu.
Mathematical Notes. Oct2025, Vol. 118 Issue 3/4, p593-601. 9p.

SATISFIABILITY (Computer... COMPUTATIONAL complexity QUANTITATIVE research ALGORITHMS
Fachzeitschrift
Zu den Favoriten
10

WalkSAT is Linear on Random 2-SAT.
Berenbrink, Petra ; Coja-Oghlan, Amin ; Cooper, Colin ; et al.
SIAM Journal on Discrete Mathematics. 2025, Vol. 39 Issue 4, p1939-1952. 14p.

SATISFIABILITY (Computer... HEURISTIC
Fachzeitschrift
Zu den Favoriten
11

Effectively encoding satisfiability problems into quadratic unconstrained binary optimization models for quantum computing.
Li, Xiaotian ; Tsukiyama, Shunsuke ; Nakano, Koji ; et al.
International Journal of Parallel, Emergent & Distributed Systems. Sep2025, Vol. 40 Issue 5, p613-628. 16p.

SATISFIABILITY (Computer... QUANTUM computing MATHEMATICAL variables ABSTRACTION (Computer sc... MATHEMATICAL optimizatio... CONSTRAINT satisfaction
Fachzeitschrift
Zu den Favoriten
12

A Satisfying Result: Formulating a decades-old geometric conjecture as a satisfiability problem opened the door to its final resolution.
Monroe, Don
Communications of the ACM. May2021, Vol. 64 Issue 5, p10-12. 3p. 1 Diagram.

HYPERCUBES SATISFIABILITY (Computer... MATHEMATICAL proofs CONFIRMATION (Logic) TILING (Mathematics)
Zeitschrift
Zu den Favoriten
13

New Spectral Algorithms for Refuting Smoothed k-SAT.
Guruswami, Venkatesan ; Kothari, Pravesh K. ; Manohar, Peter
Communications of the ACM. Mar2025, Vol. 68 Issue 3, p83-91. 9p.

ALGORITHMS COMBINATORICS SATISFIABILITY (Computer... HYPERGRAPHS CONSTRAINT satisfaction KARP, R. M.
Zeitschrift
Zu den Favoriten
14

Tailoring binary decision diagram compilation for feature models.
Dubslaff, Clemens ; Husung, Nils ; Käfer, Nikolai
Journal of Systems & Software. Jan2026, Vol. 231, pN.PAG-N.PAG. 1p.

DECISION trees MATHEMATICAL optimizatio... SCALABILITY SATISFIABILITY (Computer...
Fachzeitschrift
Zu den Favoriten
15

Effectively encoding satisfiability problems into Ising models for quantum annealing.
Li, Xiaotian ; Nakano, Koji ; Parque, Victor ; et al.
International Journal of Parallel, Emergent & Distributed Systems; Jan2026, Vol. 41 Issue 1, p69-88, 20p

ISING model QUANTUM annealing HAMILTONIAN systems PROBLEM solving SATISFIABILITY (Computer... MIXED integer linear pro...
Fachzeitschrift
Zu den Favoriten
16

A Topological Parallel Algorithm for the Pure Literal Rule in the Satisfiability Problem Solving Using a Matrix-Based Approach.
Tan, Jieqing ; Li, Yingjie
Applied Sciences (2076-3417); Dec2025, Vol. 15 Issue 24, p13111, 16p

SATISFIABILITY (Computer... PARALLEL algorithms MATRICES (Mathematics) MATHEMATICAL programming TOPOLOGY
Fachzeitschrift
Zu den Favoriten
17

Solving NP-Complete Problems via Language Models: A Case Study with BERT.
Aitim, Aigerim ; Auyezova, Anel
Procedia Computer Science. 2025, Vol. 272, p445-450. 6p.

NP-complete problems Traveling salesman probl... Computational complexity Satisfiability (Computer... Transformer models Machine learning
Fachzeitschrift
Zu den Favoriten
18

Optimizing Test Pattern Compaction with Boolean Satisfiability Attack.
Zhong, Yadi
Chips; Dec2025, Vol. 4 Issue 4, p51, 13p

SATISFIABILITY (Computer...
Fachzeitschrift
Zu den Favoriten
19

Impossible Differential Attack on Round‐Reduced SLIM.
Sugio, Nobuyuki
IEEJ Transactions on Electrical & Electronic Engineering; Dec2025, Vol. 20 Issue 12, p2010-2017, 8p

CRYPTOGRAPHY BLOCK ciphers CONSTRAINT programming SATISFIABILITY (Computer... RADIO frequency identifi...
Fachzeitschrift
Zu den Favoriten
20

Belief Structures in the Realm of Belief Contraction.
Aravanis, Theofanis
Journal of Logic, Language & Information; Dec2025, Vol. 34 Issue 5, p601-633, 33p

DIGITAL twin SATISFIABILITY (Computer... EPISTEMICS
Fachzeitschrift
Zu den Favoriten

Filter