Harold S. Connamacher

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 2

Top Topics

Davis Putnam Logemann Loveland

Constraint Satisfaction

Top Venues

Contributions Discret. Math.

SIAM J. Discret. Math.

Publications

Harold S. Connamacher, Julia A. Dobrosotskaya
On the uniformity of the approximation for r-associated Stirling numbers of the second Kind. Contributions Discret. Math. 15 (3) (2020)
Harold S. Connamacher, Nikil Pancha, Rui Liu, Soumya Ray
Rankboost+: an improvement to Rankboost. Mach. Learn. 109 (1) (2020)
Harold S. Connamacher, Michael Molloy
The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem. SIAM J. Discret. Math. 26 (2) (2012)
Harold S. Connamacher
Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT. Theor. Comput. Sci. 421 (2012)
Harold S. Connamacher, Michael Molloy
The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem CoRR (2012)
Harold S. Connamacher
A Random Constraint Satisfaction Problem That Seems Hard for DPLL. SAT (2004)
Harold S. Connamacher, Michael Molloy
The Exact Satisfiability Threshold for a Potentially Intractible Random Constraint Satisfaction Problem. FOCS (2004)
Harold S. Connamacher, Andrzej Proskurowski
The complexity of minimizing certain cost metrics for k-source spanning trees. Discret. Appl. Math. 131 (1) (2003)