From 35e74d02aa1b0970d53fef1c86171e596d0da453 Mon Sep 17 00:00:00 2001 From: ath0 Date: Thu, 25 Apr 2024 22:24:35 -0400 Subject: [PATCH] readme: update paper pdf link to favor conference version The conference version is prettier, lists preprint as alternate --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1e886cb..578960f 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ SBVA is a tool for reducing SAT formulas using _structured bounded variable addition_. -Read our SAT'23 paper: [Effective Auxiliary Variables via Structured Reencoding](https://arxiv.org/pdf/2307.01904.pdf) (preprint) +Read our SAT'23 paper: [Effective Auxiliary Variables via Structured Reencoding](https://par.nsf.gov/servlets/purl/10489211) (or, [preprint](https://arxiv.org/pdf/2307.01904.pdf) with extra appendices) 🏆 SBVA-CaDiCaL (CaDiCaL w/ SBVA as preprocessor) was the overall main-track winner of the [2023 SAT competition](https://satcompetition.github.io/2023/)! (1st overall, 1st satisfiable, 2nd unsatisfiable)