PaMiraXT
From MaRDI portal
Software:19060
swMATH6997MaRDI QIDQ19060FDOQ19060
Author name not available (Why is that?)
Cited In (10)
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions
- Partitioning Search Spaces of a Randomized Search
- Thread-parallel integrated test pattern generator utilizing satisfiability analysis
- Laissez-Faire Caching for Parallel #SAT Solving
- A review of literature on parallel constraint solving
- Title not available (Why is that?)
- Large-scale parallelism for constraint-based local search: the costas array case study
- An overview of parallel SAT solving
- Scalable SAT solving in the cloud
This page was built for software: PaMiraXT
