Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2006.01503
Cited By
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
International Conference on Theory and Applications of Satisfiability Testing (SAT), 2020
2 June 2020
Gilles Audemard
Loïc Paulevé
Laurent Simon
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers"
1 / 1 papers shown
A Time Leap Challenge for SAT Solving
Johannes Fichte
Markus Hecher
Stefan Szeider
102
24
0
05 Aug 2020
1
Page 1 of 1
