English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

SAT research has a long history of source code and binary releases, thanks tocompetitions organized every year. However, since every cycle of competitionshas its own set of rules and an adhoc way of publishing source code andbinaries, compiling or even running any solver may be harder than what itseems. Moreover, there has been more than a thousand solvers published so far,some of them released in the early 90's. If the SAT community wants to archiveand be able to keep track of all the solvers that made its history, it urgentlyneeds to deploy an important effort. We propose to initiate a community-driveneffort to archive and to allow easy compilation and running of all SAT solversthat have been released so far. We rely on the best tools for archiving andbuilding binaries (thanks to Docker, GitHub and Zenodo) and provide aconsistent and easy way for this. Thanks to our tool, building (or running) asolver from its source (or from its binary) can be done in one line.

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers