Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2303.14894
Cited By
A Linear Weight Transfer Rule for Local Search
27 March 2023
M. S. Chowdhury
Cayden R. Codel
Marijn J. H. Heule
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A Linear Weight Transfer Rule for Local Search"
1 / 1 papers shown
Title
Scalable SAT Solving in the Cloud
Dominik Schreiber
Peter Sanders
LRM
27
24
0
13 May 2022
1
