research
∙
10/27/2021
An Experimental Study of Permanently Stored Learned Clauses
Modern CDCL SAT solvers learn clauses rapidly, and an important heuristi...
share
research
∙
12/17/2020
𝕏Resolution Correspondence Networks
In this paper, we aim at establishing accurate dense correspondences bet...
research
∙
04/15/2019
Efficient Search and Elimination of Harmful Objects in Optimized QC SC-LDPC Codes
The error correction performance of low-density parity-check (LDPC) code...
research
∙
06/27/2016
Propagators and Solvers for the Algebra of Modular Systems
To appear in the proceedings of LPAR 21. Solving complex problems can ...
research
∙
09/06/2011