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 8 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)
- Grid applications on distributed memory architectures: Implementation and evaluation (Q1105331) (← 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)