A constraint satisfaction problem that seems hard for DPLL Read more about A constraint satisfaction problem that seems hard for DPLL
The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem (with appendix and software) Read more about The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem (with appendix and software)
Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT Read more about Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT
The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem Read more about The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem
On the uniformity of the approximation for generalized Stirling numbers of the second kind Read more about On the uniformity of the approximation for generalized Stirling numbers of the second kind
Corrosion resistant low temperature carburized SS 316 as bipolar plate material for PEMFC application Read more about Corrosion resistant low temperature carburized SS 316 as bipolar plate material for PEMFC application
