Academic Makerspaces - Metrics, Data and Impact Read more about Academic Makerspaces - Metrics, Data and Impact
Academic Makerspaces - Metrics, Data and Impact Read more about Academic Makerspaces - Metrics, Data and Impact
The complexity of minimizing certain cost metrics for k-source spanning trees Read more about The complexity of minimizing certain cost metrics for k-source spanning trees
The exact satisfiability threshold for a potentially intractable random constraint satisfaction problem Read more about The exact satisfiability threshold for a potentially intractable random constraint satisfaction problem
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
