John N. Hooker

	2009
47		Willem Jan van Hoeve, John N. Hooker: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings Springer 2009
46		John N. Hooker: Integer Programming Duality. Encyclopedia of Optimization 2009: 1657-1667
45		John N. Hooker: Integer Programming: Lagrangian Relaxation. Encyclopedia of Optimization 2009: 1667-1673
	2008
44		Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann: Approximate Compilation of Constraints into Multivalued Decision Diagrams. CP 2008: 448-462
43		Tarik Hadzic, John N. Hooker, Peter Tiedemann: Propagating Separable Equalities in an MDD Store. CPAIOR 2008: 318-322
42		F. Sibel Salman, R. Ravi, John N. Hooker: Solving the Capacitated Local Access Network Design Problem. INFORMS Journal on Computing 20(2): 243-254 (2008)
	2007
41		Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann: A Constraint Store Based on Multivalued Decision Diagrams. CP 2007: 118-132
40		Tarik Hadzic, John N. Hooker: Cost-Bounded Binary Decision Diagrams for 0-1 Programming. CPAIOR 2007: 84-98
39		John N. Hooker: A Framework for Integrating Optimization and Constraint Programming. SARA 2007: 4
38		John N. Hooker: Planning and Scheduling by Logic-Based Benders Decomposition. Operations Research 55(3): 588-602 (2007)
	2006
37		Latife Genç Kaya, John N. Hooker: A Filter for the Circuit Constraint. CP 2006: 706-710
36		John N. Hooker: Duality in Optimization and Constraint Satisfaction. CPAIOR 2006: 3-15
35		John N. Hooker: An Integrated Method for Planning and Scheduling to Minimize Tardiness. Constraints 11(2-3): 139-157 (2006)
	2005
34		John N. Hooker: Planning and Scheduling to Minimize Tardiness. CP 2005: 314-327
33		Latife Genç Kaya, John N. Hooker: Domain Reduction for the Circuit Constraint. CP 2005: 846
32		John N. Hooker: A Search-Infer-and-Relax Framework for Integrating Solution Methods. CPAIOR 2005: 243-257
31		John N. Hooker: A Hybrid Method for the Planning and Scheduling. Constraints 10(4): 385-401 (2005)
	2004
30		John N. Hooker: A Hybrid Method for Planning and Scheduling. CP 2004: 305-316
29		Ionut D. Aron, John N. Hooker, Tallys H. Yunes: SIMPL: A System for Integrating Optimization Techniques. CPAIOR 2004: 21-36
	2003
28		John N. Hooker: Convex Programming Methods for Global Optimization. COCOS 2003: 46-60
	2002
27		John N. Hooker, Hong Yan: A Relaxation of the Cumulative Constraint. CP 2002: 686-690
26		Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker: Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Ann. Math. Artif. Intell. 34(4): 271-290 (2002)
25		Hak-Jin Kim, John N. Hooker: Solving Fixed-Charge Network Flow Problems with a Hybrid Optimization and Constraint Programming Approach. Annals OR 115(1-4): 95-124 (2002)
24		Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis: Abstracts of Invited Talks. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
23		John N. Hooker: Logic, Optimization, and Constraint Programming. INFORMS Journal on Computing 14(4): 295-321 (2002)
22		John N. Hooker, G. Rago, V. Chandru, A. Shrivastava: Partial Instantiation Methods for Inference in First-Order Logic. J. Autom. Reasoning 28(5): 371-396 (2002)
	2001
21		John N. Hooker, Hak-Jin Kim, Greger Ottosson: A Declarative Modeling Framework that Integrates Solution Methods. Annals OR 104(1-4): 141-161 (2001)
	2000
20		Greger Ottosson, Erlendur S. Thorsteinsson, John N. Hooker: Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers. Electronic Notes in Discrete Mathematics 4: 32-53 (2000)
	1999
19		John N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, Hak-Jin Kim: On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization. AAAI/IAAI 1999: 136-141
18		John N. Hooker: Inference Duality as a Basis for Sensitivity Analysis. Constraints 4(2): 101-112 (1999)
17		John N. Hooker, María Auxilio Osorio Lama: Mixed Logical-linear Programming. Discrete Applied Mathematics 96-97: 395-442 (1999)
	1996
16		John N. Hooker: Inference Duality as a Basis for Secitivity Analysis. CP 1996: 224-236
15		John N. Hooker: Resolution and the integrality of satisfiability problems. Math. Program. 74: 1-10 (1996)
	1995
14		John N. Hooker, V. Vinay: Branching Rules for Satisfiability. J. Autom. Reasoning 15(3): 359-383 (1995)
	1994
13		John N. Hooker, V. Vinay: Branching Rules for Satisfiability (Extended Abstract). FSTTCS 1994: 426-437
12		John N. Hooker: Logic-Based Methods for Optimization. PPCP 1994: 336-349
11		John N. Hooker, Hong Yan, Ignacio E. Grossmann, R. Raman: Logic cuts for processing networks with fixed charges. Computers & OR 21(3): 265-279 (1994)
10		Farid Harche, John N. Hooker, Gerald L. Thompson: A Computational Study of Satisfiability Algorithms for Propositional Logic. INFORMS Journal on Computing 6(4): 423-435 (1994)
9		Endre Boros, Peter L. Hammer, John N. Hooker: Predicting Cause-Effect Relationships from Incomplete Discrete Observations. SIAM J. Discrete Math. 7(4): 531-543 (1994)
	1993
8		John N. Hooker: Solving the incremental satisfiability problem. J. Log. Program. 15(1&2): 177-186 (1993)
	1992
7		John N. Hooker: Generalized Resolution for 0-1 Linear Inequalities. Ann. Math. Artif. Intell. 6(1-3): 271-286 (1992)
6		V. Chandru, John N. Hooker: Detecting Embedded Horn Structure in Propositional Logic. Inf. Process. Lett. 42(2): 109-111 (1992)
	1991
5		John N. Hooker: Logical Inference and Polyhedral Projection. CSL 1991: 184-200
4		V. Chandru, John N. Hooker: Extended Horn Sets In Propositional Logic. J. ACM 38(1): 205-221 (1991)
	1990
3		John N. Hooker, C. Fedjiki: Branch-and-Cut Solution of Inference Problems in Propositional Logic. Ann. Math. Artif. Intell. 1: (1990)
	1989
2		John N. Hooker: Input Proofs and Rank One Cutting Planes. INFORMS Journal on Computing 1(3): 137-145 (1989)
	1988
1		John N. Hooker: Networklike metric spaces. Discrete Mathematics 68(1): 31-43 (1988)

Coauthor Index

1	Henrik Reif Andersen	[41]
2	Ionut D. Aron	[29]
3	Endre Boros	[9]
4	Giorgio C. Buttazzo	[24]
5	V. Chandru	[4] [6] [22]
6	Avi Efrati	[24]
7	C. Fedjiki	[3]
8	Ignacio E. Grossmann	[11]
9	Tarik Hadzic	[40] [41] [43] [44]
10	Peter L. Hammer	[9]
11	Farid Harche	[10]
12	Willem Jan van Hoeve	[47]
13	Latife Genç Kaya	[33] [37]
14	Hak-Jin Kim	[19] [21] [25]
15	María Auxilio Osorio Lama (Maria A. Osorio)	[17]
16	Barry O'Sullivan	[44]
17	Greger Ottosson	[19] [20] [21] [26]
18	Claude Le Pape	[24]
19	G. Rago	[22]
20	R. Raman	[11]
21	R. Ravi	[42]
22	F. Sibel Salman	[42]
23	A. Shrivastava	[22]
24	Joseph Sifakis	[24]
25	Gerald L. Thompson	[10]
26	Erlendur S. Thorsteinsson	[19] [20] [26]
27	Peter Tiedemann	[41] [43] [44]
28	V. Vinay	[13] [14]
29	Hong Yan	[11] [27]
30	Tallys H. Yunes	[29]

Colors in the list of coauthors