Top Tweets for #SATSolving
Today we had Sebastian Brandhofer (from @Uni_Stuttgart) as guest in our group. Sebastian works on rigorous compilation methods for #QuantumComputing (aka using methods like #SATSolving for those tasks; something we very much resonate with 😉). Thanks for stopping by!🙂

Never heard about SAT? Then check out this cool summary video by Johannes K. Fichte, Daniel Le Berre, Markus Hecher, @StefanSzeider to learn more:
https://t.co/cNcxJujKhP
Many thanks to @ArminBiere (one of the pioneers of #SATSolving) for linking to this!🙂
Tonight's stream covered two basic (and extremely naive) algorithms for #satsolving in #JLang. More code review than live-coding.
I'm still very undecided about what this streaming channel is or should be, so feedback is very welcome!
https://t.co/grKEYnjPBV
Interesting in doing a fully-funded PhD on a related topic?
Then apply here https://t.co/G892bkYjGB by December 30, and select topic 10
https://t.co/ahU2drdAMC
#Algorithm #PhD #AcademicChatter #satisfiability #SATsolving #Algorithms #phdlife
Our @cp2021conf paper on SAT modulo Symmetries has been published:
➡️https://t.co/LUMCStFnVj
📺https://t.co/dvHFKMg4E8 (trailer)

Interesting in doing a fully-funded PhD on a related topic?
Then apply here https://t.co/WccyU7Zfgw by December 30, and select one of the topics 10-13 https://t.co/0tJ79Bbtql
#AI #xai #ML #Algorithm #PhD #AcademicChatter #satisfiability #SATsolving #Algorithms #phdlife
In our #NeurIPS2021 paper, we use MaxSAT to learn Bayesian networks that have bounded maximum state-space size. Such networks support faster exact probabilistic inference than bounded treewidth networks when the variables aren't all binary.
➡️ https://t.co/csZVyyr4uB

The recording of my talk on the potential but also the challenges of #SatSolving for #QuantumComputing is now available. 👇
https://t.co/x0lyXkgIqe
#SatSolvers have proven so powerful in classical design. At today's Workshop on #ConstraintSolving and Quantum Computing, we discussed whether we can repeat the success for #QuantumComputing. Many thanks to @KECBooth et al. for organizing and inviting me!👉https://t.co/MLi808u0cW

Join the fully-funded PhD program and do research on one of these topics:
⏺️SAT-Based Methods for Explainable Al
⏺️Speeding up Algorithms with Machine Learning
➡️https://t.co/BpcYUQK4ep
#AI #xai #ML #Algorithm #PhD #academicjobs #satisfiability #SATsolving @StefanSzeider
💡This Call goes out to all ♥️ of #Logic!
We are hiring 20 PhD students who will work on interdisciplinary topics across AI, Databases, Verification, Algorithms, Security and CPS
Who will join us at #MSCActions Cofund LogiCS@TUWien?
Apply Now! https://t.co/5JJGOqf34l
#phdjobs

We have an open 15 month Postdoc position for research on hybridization of MIP and SAT solving algorithms, for details please see https://t.co/zJtS1YnqMJ #ORMS #SATSOLVING #MIP
Et on reprend aujourd'hui avec Maxence qui accélère du SAT solving avec des FPGA ! #LSEWeek #SATSolving #FPGA

Congrats to @CompFoundry Associate Professor Oliver Kullman for his @EPSRC £800k grant awarded for his research into ‘solving very hard problems’ Full story here: https://t.co/J9I9MPBIec #SATsolving #research #innovation
Last Seen Hashtags on Sotwe
DairyFreeNZ
Seen from United States
พี่น้องเย็ดกัน
Seen from Thailand
สาวสักลาย
Seen from Thailand
teenager
Seen from Germany
吃奶子
絆重なる時
Seen from United States
nolimit since:2026-07-03 until:2026-07-04 filter:videos
Seen from United Kingdom
lampungcoblosprabowosandi
Seen from United States
AV新法もっと議論を
Seen from Indonesia
uKRAYNA
Seen from Turkey
Most Popular Users

Elon Musk 
@elonmusk
240.7M followers

Barack Obama 
@barackobama
119.2M followers

Donald J. Trump 
@realdonaldtrump
111.7M followers

Cristiano Ronaldo 
@cristiano
110.8M followers

Narendra Modi 
@narendramodi
107M followers

Rihanna 
@rihanna
97.7M followers

NASA 
@nasa
92.2M followers

Justin Bieber 
@justinbieber
90.9M followers

KATY PERRY 
@katyperry
87.8M followers

Taylor Swift 
@taylorswift13
81.6M followers

Lady Gaga 
@ladygaga
73.1M followers

Virat Kohli 
@imvkohli
70M followers

Kim Kardashian 
@kimkardashian
69.8M followers

YouTube 
@youtube
68.7M followers

Bill Gates 
@billgates
63.9M followers

Neymar Jr 
@neymarjr
62.8M followers

The Ellen Show
@theellenshow
62.4M followers

CNN 
@cnn
61.9M followers

Selena Gomez 
@selenagomez
60.8M followers

X 
@x
60.8M followers







