Search Results for author:
Found 3 papers, 1 papers with code
An Experimental Study of Permanently Stored Learned Clauses
Recent solvers in the MapleSAT family, have comparatively complex deletion scheme, and perform well.
$\mathbb{X}$Resolution Correspondence Networks
In this paper, we aim at establishing accurate dense correspondences between a pair of images with overlapping field of view under challenging illumination variation, viewpoint changes, and style differences.
Propagators and Solvers for the Algebra of Modular Systems
In this paper, we construct a solver for the model expansion task for a complex modular systems from an expression in the algebra and black-box propagators or solvers for the primitive modules.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
