NAGSAT

swMATH11453MaRDI QIDQ23395FDOQ23395

Author name not available (Why is that?)

Cited In (3)

• GridSAT: Design and implementation of a computational grid application
• An overview of parallel SAT solving
• An optimal multiprocessor combinatorial auction solver

This page was built for software: NAGSAT