SAT2020

Welcome to the official Twitter profile of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT).

[SAT2020 @SAT2020conf]

Thank you very much to all the #SAT2020 participants, the session chairs and the speakers for making this virtual edition really special and exciting 👏 We hope to meet again in person next year in Barcelona for #SAT2021!

[Kuldeep S. Meel @ksmeel]

@SAT2020conf concluded this week, and our group's solvers (well, single-handedly led by @SoosMate ) had a great run: 3rd place in Main Track and 2nd place in Planning track. Proud of my intern @masterarijit for his work on LSIDS, which held up to its promise in competition. 1/2

[SAT2020 @SAT2020conf]

However, #SAT2020 events are not over!
#ModelCountingWorkshop waits for you tomorrow and on Friday don't forget to attend #QBFWorkshop.

[SAT2020 @SAT2020conf]

Thank you very much to all the #SAT2020 participants, the session chairs and the speakers for making this virtual edition really special and exciting 👏 We hope to meet again in person next year in Barcelona for #SAT2021!

[SAT2020 @SAT2020conf]

It's so sad to hear about the loss of a very brilliant colleague, Pramod Subramanyan.

[Kuldeep S. Meel @ksmeel]

Today was a really hard day. I had to share the following news with SAT community on the final day of SAT.

I am very sad to inform all of you that our colleague Pramod Subramanyan passed away earlier today.
Pramod was an Assistant Professor of Computer Science at IIT Kanpur.1/n

[Kuldeep S. Meel @ksmeel]

Users of SAT solvers: Tell us all your wishes (And yes, wishes do come true, I mean sometimes... okay rarely but they do...)

Create a pull request (strongly preferred) or email @dleberre

[Armin Biere @ArminBiere]

For the competition day at @SAT2020conf I am wearing this one (some consider the best design ever), right @dleberre?

[Stefan Szeider @StefanSzeider]

SAT2021 will be in Barcelona, July 5-9. Hopefully as a physical conference again. I miss the the personal meeting this year + chatting with colleagues very much, not to mention being on site in Sardinia... @SAT2020conf

[Kuldeep S. Meel @ksmeel]

When you find everyone holding a beer/wine or sparkling water (well, the teetotalers) at the virtual reception, you know we are officially off to a great start at @SAT2020conf

Join today to learn about our work on sparse XORs for counting.

[SAT2020 @SAT2020conf]

@dleberre @ArminBiere All good choices🙂@dleberre @ArminBiere

[SAT2020 @SAT2020conf]

We are looking forward to hearing the invited talk given by #GeorgeGottlob during this second day of the conference #SAT2020!

[Stefan Szeider @StefanSzeider]

I'm looking forward to chairing Georg Gottlob's keynote talk at @SAT2020conf on Hypergraph Transversals, Monotone Boolean Formula Dualization, and SAT (starts in 30 minutes).

Georg is the headmaster of the Schola Logicae 🙂

[Armin Biere @ArminBiere]

Today for @SAT2020conf I picked the rare QBF competition (evaluation) t-shirt from Guangzhou in 2008.

[Stefan Szeider @StefanSzeider]

Aarti Gupta @Princeton kicks of the @SAT2020conf with her keynote on SAT/SMT-based verification of computer networks, hardware designs, and theorem-proving, and on how to find the magic lemma.

[Kuldeep S. Meel @ksmeel]

Virtual conferences lower the barrier to access, but after Day 0 of @SAT2020conf, it hit me hard how much I will miss the casual chats, the informal lunches/dinners that small conferences such as SAT permit and enable. 1/2

[VCLA at TU Wien @vclaTUwien]

Paper "Multi-Linear Strategy Extraction for QBF Expansion Proofs via Local Soundness" by Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher & Florian Zuleger goes @SAT2020conf #SAT2020 23rd International Conference on Theory and Applications of Satisfiability Testing.

[VCLA at TU Wien @vclaTUwien]

Paper "Short Q-Resolution Proofs with Homomorphisms" by Ankit Shukla, Friedrich Slivovsky and Stefan Szeider is appearing at @SAT2020conf #SAT20 - The 23rd International Conference on Theory and Applications of Satisfiability Testing. ➡ https://t.co/VmxbJ5j0G7

[SAT2020 @SAT2020conf]

#SAT2020 is just around the corner!
Take note of the events and don't forget to register here: https://t.co/SzYzsHydWL

📌Pragmatics of SAT (POS), July 3rd, 2020
📌SAT conference, July 6th-8th, 2020
📌Model Counting, July 9th, 2020
📌QBF Workshop, July 10th, 2020

[VCLA at TU Wien @vclaTUwien]

5 out of 36 papers accepted at SAT 2020 @SAT2020conf are authored by our own #LogiCS faculty in Vienna & additional two in Linz 🐙 23rd International Conference on Theory and Applications of Satisfiability Testing will be virtually & FREE ✅July 3-10 ➡ https://t.co/DZhBjkngYC

[Kuldeep S. Meel @ksmeel]

(Shameless plug) And another two from NUS :)
1. Sparsity of XORs in Approximate Counting https://t.co/9r5BJJ0w66
2. New Phase selection heuristics: https://t.co/riS6S3kxHr

[SAT2020 @SAT2020conf]

#SAT2020 is getting closer and we would like to remind you that registration is FREE but REQUIRED for all participants of the virtual conference, including authors of accepted papers. If you want to take part to the #SAT2020 events, please register here: https://t.co/SzYzsHydWL