Picture for Abdelrahman Hosny

Abdelrahman Hosny

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem

Add code
Feb 06, 2024
Viaarxiv icon

Automatic MILP Solver Configuration By Learning Problem Similarities

Add code
Jul 02, 2023
Viaarxiv icon

BitTrain: Sparse Bitmap Compression for Memory-Efficient Training on the Edge

Add code
Oct 29, 2021
Figure 1 for BitTrain: Sparse Bitmap Compression for Memory-Efficient Training on the Edge
Figure 2 for BitTrain: Sparse Bitmap Compression for Memory-Efficient Training on the Edge
Figure 3 for BitTrain: Sparse Bitmap Compression for Memory-Efficient Training on the Edge
Figure 4 for BitTrain: Sparse Bitmap Compression for Memory-Efficient Training on the Edge
Viaarxiv icon

Characterizing and Optimizing EDA Flows for the Cloud

Add code
Feb 22, 2021
Figure 1 for Characterizing and Optimizing EDA Flows for the Cloud
Figure 2 for Characterizing and Optimizing EDA Flows for the Cloud
Figure 3 for Characterizing and Optimizing EDA Flows for the Cloud
Figure 4 for Characterizing and Optimizing EDA Flows for the Cloud
Viaarxiv icon

DRiLLS: Deep Reinforcement Learning for Logic Synthesis

Add code
Nov 13, 2019
Figure 1 for DRiLLS: Deep Reinforcement Learning for Logic Synthesis
Figure 2 for DRiLLS: Deep Reinforcement Learning for Logic Synthesis
Figure 3 for DRiLLS: Deep Reinforcement Learning for Logic Synthesis
Figure 4 for DRiLLS: Deep Reinforcement Learning for Logic Synthesis
Viaarxiv icon