Picture for David Mitchell

David Mitchell

Protect Before Generate: Error Correcting Codes within Discrete Deep Generative Models

Add code
Oct 10, 2024
Viaarxiv icon

An Experimental Study of Permanently Stored Learned Clauses

Add code
Oct 27, 2021
Figure 1 for An Experimental Study of Permanently Stored Learned Clauses
Figure 2 for An Experimental Study of Permanently Stored Learned Clauses
Figure 3 for An Experimental Study of Permanently Stored Learned Clauses
Figure 4 for An Experimental Study of Permanently Stored Learned Clauses
Viaarxiv icon

$\mathbb{X}$Resolution Correspondence Networks

Add code
Dec 17, 2020
Figure 1 for $\mathbb{X}$Resolution Correspondence Networks
Figure 2 for $\mathbb{X}$Resolution Correspondence Networks
Figure 3 for $\mathbb{X}$Resolution Correspondence Networks
Figure 4 for $\mathbb{X}$Resolution Correspondence Networks
Viaarxiv icon

Propagators and Solvers for the Algebra of Modular Systems

Add code
Apr 03, 2017
Viaarxiv icon

Lifted Unit Propagation for Effective Grounding

Add code
Sep 06, 2011
Figure 1 for Lifted Unit Propagation for Effective Grounding
Figure 2 for Lifted Unit Propagation for Effective Grounding
Figure 3 for Lifted Unit Propagation for Effective Grounding
Figure 4 for Lifted Unit Propagation for Effective Grounding
Viaarxiv icon