Irina Gribanova

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Distributed Systems & Hardware (1)Training Efficiency & Optimization (1)

Frequent co-authors

Victor Kondratiev (1)Alexander Semenov (1)

Papers (1)

Feb 19, 2026

Victor Kondratiev +23w ago

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances

Breaking down notoriously hard CircuitSAT problems just got easier: a new parallel decomposition algorithm efficiently weakens formulas, paving the way for faster solutions.

Victor Kondratiev, Irina Gribanova, Alexander Semenov

Distributed Systems & Hardware Training Efficiency & Optimization

Search

Irina Gribanova

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)