#MaxSAT - Twitter Hashtag

over 1 year ago

Here, we propose a decoding method (a central aspect in the development of #FaultTolerant #QuantumComputing devices) that tackles the problem by reducing it to a #LightsOut puzzle and solves it using #MaxSAT (a typical #DesignAutomation approach). 2/4

1

3

0

1

76

Robert Wille @rbrtwll

over 1 year ago

The past week, our joint work on decoding #quantum color codes with #MaxSAT got published in @quantumjournal --- showcasing another great example of utilizing interdisciplinary expertise. 👉https://t.co/N46ujLhJlZ #MQT implementation: https://t.co/KqezAmAfmG 1/4

rbrtwll's tweet photo. The past week, our joint work on decoding #quantum color codes with #MaxSAT got published in @quantumjournal --- showcasing another great example of utilizing interdisciplinary expertise.

👉https://t.co/N46ujLhJlZ

#MQT implementation:
https://t.co/KqezAmAfmG

1/4 https://t.co/NgoqtpMD8y

1

20

2

1K

Robert Wille @rbrtwll

about 3 years ago

Very nice interdisciplinary collaboration between @TU_Muenchen, @FU_Berlin, and @jkulinz: We considered decoding #quantum color codes by reducing the problem to a #LightsOut puzzle and solving the resulting instance as a #MaxSAT problem. 👉https://t.co/QIzlUsBUVP

rbrtwll's tweet photo. Very nice interdisciplinary collaboration between @TU_Muenchen, @FU_Berlin, and @jkulinz: We considered decoding #quantum color codes by reducing the problem to a #LightsOut puzzle and solving the resulting instance as a #MaxSAT problem.

👉https://t.co/QIzlUsBUVP https://t.co/QwoIuf9Dim

2

20

3

1

2K

Alexandre Lemos @A_d_d_a_Lemos

almost 4 years ago

Me, with an @OutSystems t-shirt presenting the work from by PhD. This work was supervised by Prof. Lynce and @ptgmonteiro before I joined @OutSystems. The paper is available here https://t.co/EbzjnkhSow. It is about the @itc2019 and a #MaxSAT approach

A_d_d_a_Lemos's tweet photo. Me, with an @OutSystems t-shirt presenting the work from by PhD. This work was supervised by Prof. Lynce and @ptgmonteiro before I joined @OutSystems. The paper is available here https://t.co/EbzjnkhSow.
It is about the @itc2019 and a #MaxSAT approach https://t.co/NY93dQu5Hg

0

5

2

0

Natalio Krasnogor @NKrasnogor

over 5 years ago

A Java-based #Memetic Algorithm Framework https://t.co/gU9KQII4Pv With open-sourced code at https://t.co/kumtYckZHa and simple examples of #TSP, #MaxSAT, #PHP model, #GraphColoring

1

2

0

VCLA at TU Wien @vclaTUwien

over 7 years ago

#SAT2019 Join the community, competitions & summer school! Abstract #deadline for t 22nd International Conference on Theory and Applications of Satisfiability Testing - SAT, July 7-12, 2019 in Lisbon. #Deadline March 1, 2019 https://t.co/lkbnAWStxo #MaxSAT #QBF #CP #QBFEVAL

vclaTUwien's tweet photo. #SAT2019 Join the community, competitions & summer school! Abstract #deadline for t 22nd International Conference on Theory and Applications of Satisfiability Testing - SAT, July 7-12, 2019 in Lisbon. #Deadline March 1, 2019 https://t.co/lkbnAWStxo
#MaxSAT #QBF #CP #QBFEVAL https://t.co/oMGxpfBCA1

0

4

2

0

Mike Stewart @jellowriter

over 7 years ago

<- FROM “A BOOK LIKE NO OTHER” -> https://t.co/YXKzTAWbvD #amwriting #writer #author #cosmology #glialcell #nanotechnology #QuantumComputation #QuantumComputing #QuantumAnnealer #QuantumAnnealing #SAT #MaxSAT #QuantumTechnology #QuantumPhysics #QuantumMexhanics sustainability

Mike Stewart @jellowriter

over 7 years ago

Everything we know, everything we see, everything we think, is entangled in time. Yet, although they may talk for hours if asked, the bottom line is our scientists have no idea what time is....a major thrust of this book is to address the question of time in detail. #godmp1

0