The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John N. Hooker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. John N. Hooker
    Convex Programming Methods for Global Optimization. [Citation Graph (0, 0)][DBLP]
    COCOS, 2003, pp:46-60 [Conf]
  4. John N. Hooker
    A Hybrid Method for Planning and Scheduling. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:305-316 [Conf]
  5. John N. Hooker
    Planning and Scheduling to Minimize Tardiness. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:314-327 [Conf]
  6. John N. Hooker
    Inference Duality as a Basis for Secitivity Analysis. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:224-236 [Conf]
  7. John N. Hooker, Hong Yan
    A Relaxation of the Cumulative Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:686-690 [Conf]
  8. Latife Genç Kaya, John N. Hooker
    Domain Reduction for the Circuit Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:846- [Conf]
  9. Latife Genç Kaya, John N. Hooker
    A Filter for the Circuit Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:706-710 [Conf]
  10. 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]
  11. John N. Hooker
    A Search-Infer-and-Relax Framework for Integrating Solution Methods. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:243-257 [Conf]
  12. John N. Hooker
    Duality in Optimization and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2006, pp:3-15 [Conf]
  13. John N. Hooker
    Logical Inference and Polyhedral Projection. [Citation Graph (0, 0)][DBLP]
    CSL, 1991, pp:184-200 [Conf]
  14. John N. Hooker, V. Vinay
    Branching Rules for Satisfiability (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:426-437 [Conf]
  15. John N. Hooker
    Logic-Based Methods for Optimization. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:336-349 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. John N. Hooker
    A Framework for Integrating Optimization and Constraint Programming. [Citation Graph (0, 0)][DBLP]
    SARA, 2007, pp:4- [Conf]
  34. J. N. Hooker
    Networklike metric spaces. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1988, v:68, n:1, pp:31-43 [Journal]

  35. Approximate Compilation of Constraints into Multivalued Decision Diagrams. [Citation Graph (, )][DBLP]


  36. Propagating Separable Equalities in an MDD Store. [Citation Graph (, )][DBLP]


  37. Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002