pith. sign in

Title resolution pending

Alberti, F · 2013 · DOI 10.1007/978-3-642-40885-4

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

citation-role summary

background 1

citation-polarity summary

background 1

fields

cs.LO 2

years

2026 2

verdicts

UNVERDICTED 2

roles

background 1

polarities

background 1

representative citing papers

Accelerating Loops with Arrays

cs.LO · 2026-05-19 · unverdicted · novelty 7.0

A new acceleration method for array-manipulating loops uses inductive lvalues and lambdas to unify treatment with scalars and enable lemma-on-demand SMT solving.

citing papers explorer

Showing 2 of 2 citing papers.

  • Accelerating Loops with Arrays cs.LO · 2026-05-19 · unverdicted · none · ref 1

    A new acceleration method for array-manipulating loops uses inductive lvalues and lambdas to unify treatment with scalars and enable lemma-on-demand SMT solving.

  • Computing Witnesses Using the SCAN Algorithm cs.LO · 2026-04-30 · unverdicted · none · ref 9

    SCAN algorithm extended to compute witnesses for second-order quantifiers alongside quantifier elimination on clause sets.