A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Overview of attention for article published in Journal of Automated Reasoning, March 2018

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 25 Dimensions

Readers on

mendeley: 14 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 1 X post from an account with 3,528 followers.

A verified SAT solver framework with learn, forget, restart, and incrementality. ~ J.C. Blanchette et als. https://t.co/NxjJgL6GM8 #ITP #IsabelleHOL #SAT

Reply Repost Favourite