#GPU

2 articles tagged with "GPU"

Tech

Introducing AFSAT: A New GPU-Accelerated Solver for Pseudo-Boolean SAT Problems

AFSAT is a newly developed GPU-accelerated solver designed to enhance the efficiency of solving pseudo-Boolean satisfiability problems through continuous local search techniques.

Editorial Staff 15 days ago

Tech

Innovative Rotary GPU Technology Targets VRAM Constraints for Large AI Models

The Rotary GPU technology is designed to enhance the execution of large Mixture of Experts models in environments with limited VRAM, potentially transforming AI applications.

Editorial Staff 24 days ago