Search the dblp DataBase
John N. Hooker :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
V. Chandru , John N. Hooker Extended Horn Sets In Propositional Logic. [Citation Graph (1, 0)][DBLP ] J. ACM, 1991, v:38, n:1, pp:205-221 [Journal ] John N. Hooker , Greger Ottosson , Erlendur S. Thorsteinsson , Hak-Jin Kim On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1999, pp:136-141 [Conf ] John N. Hooker Convex Programming Methods for Global Optimization. [Citation Graph (0, 0)][DBLP ] COCOS, 2003, pp:46-60 [Conf ] John N. Hooker A Hybrid Method for Planning and Scheduling. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:305-316 [Conf ] John N. Hooker Planning and Scheduling to Minimize Tardiness. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:314-327 [Conf ] John N. Hooker Inference Duality as a Basis for Secitivity Analysis. [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:224-236 [Conf ] John N. Hooker , Hong Yan A Relaxation of the Cumulative Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:686-690 [Conf ] Latife Genç Kaya , John N. Hooker Domain Reduction for the Circuit Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:846- [Conf ] Latife Genç Kaya , John N. Hooker A Filter for the Circuit Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:706-710 [Conf ] Ionut D. Aron , John N. Hooker , Tallys H. Yunes SIMPL: A System for Integrating Optimization Techniques. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2004, pp:21-36 [Conf ] John N. Hooker A Search-Infer-and-Relax Framework for Integrating Solution Methods. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2005, pp:243-257 [Conf ] John N. Hooker Duality in Optimization and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2006, pp:3-15 [Conf ] John N. Hooker Logical Inference and Polyhedral Projection. [Citation Graph (0, 0)][DBLP ] CSL, 1991, pp:184-200 [Conf ] John N. Hooker , V. Vinay Branching Rules for Satisfiability (Extended Abstract). [Citation Graph (0, 0)][DBLP ] FSTTCS, 1994, pp:426-437 [Conf ] John N. Hooker Logic-Based Methods for Optimization. [Citation Graph (0, 0)][DBLP ] PPCP, 1994, pp:336-349 [Conf ] John N. Hooker Generalized Resolution for 0-1 Linear Inequalities. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:271-286 [Journal ] John N. Hooker , C. Fedjiki Branch-and-Cut Solution of Inference Problems in Propositional Logic. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:- [Journal ] Greger Ottosson , Erlendur S. Thorsteinsson , John N. Hooker Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2002, v:34, n:4, pp:271-290 [Journal ] John N. Hooker A Hybrid Method for the Planning and Scheduling. [Citation Graph (0, 0)][DBLP ] Constraints, 2005, v:10, n:4, pp:385-401 [Journal ] John N. Hooker An Integrated Method for Planning and Scheduling to Minimize Tardiness. [Citation Graph (0, 0)][DBLP ] Constraints, 2006, v:11, n:2-3, pp:139-157 [Journal ] John N. Hooker Inference Duality as a Basis for Sensitivity Analysis. [Citation Graph (0, 0)][DBLP ] Constraints, 1999, v:4, n:2, pp:101-112 [Journal ] John N. Hooker , Hong Yan , Ignacio E. Grossmann , R. Raman Logic cuts for processing networks with fixed charges. [Citation Graph (0, 0)][DBLP ] Computers & OR, 1994, v:21, n:3, pp:265-279 [Journal ] John N. Hooker , María Auxilio Osorio Lama Mixed Logical-linear Programming. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 1999, v:96, n:, pp:395-442 [Journal ] Giorgio C. Buttazzo , Avi Efrati , John N. Hooker , Claude Le Pape , Joseph Sifakis Abstracts of Invited Talks. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal ] John N. Hooker Logic, Optimization, and Constraint Programming. [Citation Graph (0, 0)][DBLP ] INFORMS Journal on Computing, 2002, v:14, n:4, pp:295-321 [Journal ] V. Chandru , John N. Hooker Detecting Embedded Horn Structure in Propositional Logic. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1992, v:42, n:2, pp:109-111 [Journal ] John N. Hooker , G. Rago , V. Chandru , A. Shrivastava Partial Instantiation Methods for Inference in First-Order Logic. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2002, v:28, n:5, pp:371-396 [Journal ] John N. Hooker , V. Vinay Branching Rules for Satisfiability. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1995, v:15, n:3, pp:359-383 [Journal ] John N. Hooker Solving the incremental satisfiability problem. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1993, v:15, n:1&2, pp:177-186 [Journal ] John N. Hooker Resolution and the integrality of satisfiability problems. [Citation Graph (0, 0)][DBLP ] Math. Program., 1996, v:74, n:, pp:1-10 [Journal ] Henrik Reif Andersen , Tarik Hadzic , J. N. Hooker , Peter Tiedemann A Constraint Store Based on Multivalued Decision Diagrams. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:118-132 [Conf ] Tarik Hadzic , J. N. Hooker Cost-Bounded Binary Decision Diagrams for 0-1 Programming. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2007, pp:84-98 [Conf ] John N. Hooker A Framework for Integrating Optimization and Constraint Programming. [Citation Graph (0, 0)][DBLP ] SARA, 2007, pp:4- [Conf ] J. N. Hooker Networklike metric spaces. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 1988, v:68, n:1, pp:31-43 [Journal ] Approximate Compilation of Constraints into Multivalued Decision Diagrams. [Citation Graph (, )][DBLP ] Propagating Separable Equalities in an MDD Store. [Citation Graph (, )][DBLP ] Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. [Citation Graph (, )][DBLP ] Search in 0.030secs, Finished in 0.333secs