Pages that link to "Item:Q860390"
From MaRDI portal
The following pages link to A competitive and cooperative approach to propositional satisfiability (Q860390):
Displaying 6 items.
- On market-inspired approaches to propositional satisfiability (Q814434) (← links)
- A collaborative approach for multi-threaded SAT solving (Q839500) (← links)
- Compiling finite linear CSP into SAT (Q842794) (← links)
- Cooperative parallel SAT local search with path relinking (Q2057122) (← links)
- Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern) (Q2726294) (← links)
- Mechanizing Mathematical Reasoning (Q5717457) (← links)