foobar

[Stefan Szeider @StefanSzeider]

The appetizer video to our article The Silent (R)evolution of SAT in the Communications of the ACM, June 2023, https://t.co/ZHDpCEoxvT (Open Access)

Propositional Satisfiability (SAT) has been a cornerstone of computational complexity theory; now, it has become a central target problem for solving hard computational problems in practice.

Thanks to @FWF_at @WWTF @liu_universitet @tu_wien @Univ_Artois @mit @MIT_CSAIL @CACMmag @thesatconf @ArminBiere @vardi

[FelixVUO @FelixVuo]

The fine people at https://t.co/gGxnRJ5FX9 in Girona have a fully-funded 4-year PhD position for a project aimed at adapting SAT and SMT technology to planning and scheduling problems. Contact Miquel Bofill for more details. #ConstraintProgramming #PhD #PhDposition

[St Andrews CompSci @StAndrewsCS]

A fully-funded, 3.5 years PhD position is now available at the school of CS AI research group
https://t.co/WdoHNpw7ov
#PhDposition

[Christopher Brown @chrismarkbrown]

I have a fully funded PhD project at St Andrews on "Trustworthy Refactoring Tools for Haskell Programs". Deadline for applications will be the 1st March. Happy to chat if you are interested.

[Clara Ponsatí @ClaraPonsati]

Alemanya va dir que ni rebel·lió ni sedició, i ara Bèlgica diu directament que el TS no és competent. Que deixin de perseguir els catalans i de fer el ridícul pels tribunals d’Europa.

[CP2025 @cp_conf]

Deadlines of "19th International Workshop on Constraint Modelling and Reformulation":
- Abstracts: July 23
- Submissions: July 29
- Notifications: August 7

[Clara Ponsatí @ClaraPonsati]

CIA has revealed that Prime Minister Felipe González authorised the state terrorist group GAL, responsible for murders, kidnappings, tortures and extorsions. Spanish government and media remain silent. No wonder we Catalans want to be independent.

[XKCD Comic @xkcdComic]

Garbage Math https://t.co/mdDHqsUYVZ https://t.co/iHxwOq1fqR

[Clara Ponsatí @ClaraPonsati]

Tinc germanes vivint a Madrid. Ahir vaig esborrar una crítica sarcàstica i indignada a la gestió de la crisi per part del govern espanyol. Amb aquest fil m’excuso a la gent de bona fe que s'ha sentit ferida, i responc a les interpretacions interessades:

[Özgür Akgün @ozgurakgun]

This is not good at all https://t.co/42DySM2Vi7

[foobar @osmandros]

@May_Yam_ @univofstandrews 🐹

[foobar @osmandros]

@SusanaGonzC @univofstandrews Sure, because you say so! ;)

[Clara Ponsatí @ClaraPonsati]

Former Spanish electoral board member was paid by Ciudadanos https://t.co/729oVOT0gt

[Prof. Feynman @ProfFeynman]

Equations that changed the world. 🧠

[Josep Sabaté 🏳️‍🌈💙 @JosepRoquetes]

Escòcia: 100% renovable. Deixa d'utilitzar combustibles fòssils enguany.

https://t.co/GItOEnO0wE

[Rai López Calvet @RaiLopezCalvet]

Perdoneu, algú em pot explicar que ha fet aquest senyor?
Fixeu-vos bé en la mà dreta !

[Arnaldo Otegi 🔻 @ArnaldoOtegi]

Hoy hemos participado en el acto de homenaje a los lehendakaris que tuvieron que marchar al exilio. Y hoy queremos recordar que el president de Catalunya Carles Puigdemont está en el exilio. Como decía el lehendakari Agirre, nosotros siempre con Catalunya!

[Gonzalo Boye @boye_g]

Los “papeles de Escocia”... y veremos qué hace España Global:

The Scotland Papers https://t.co/OXmQRed6i8

[PyTorch @PyTorch]

To help developers get started with PyTorch, we’re making the 'Deep Learning with PyTorch' book, written by Luca Antiga and Eli Stevens, available for free to the community: https://t.co/KH52NW0Itl