Pages that link to "Item:Q2505055"
From MaRDI portal
The following pages link to GridSAT: Design and implementation of a computational grid application (Q2505055):
Displaying 7 items.
- GridSAT (Q14509) (← links)
- GrADSAT (Q19327) (← links)
- A collaborative approach for multi-threaded SAT solving (Q839500) (← links)
- A competitive and cooperative approach to propositional satisfiability (Q860390) (← links)
- GridSAT: Design and implementation of a computational grid application (Q2505055) (← links)
- Distributing the Workload in a Lazy Theorem-Prover (Q2870323) (← links)
- HordeSat: A Massively Parallel Portfolio SAT Solver (Q3453220) (← links)
