John N. Hooker

	2012
54		David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker: Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. CPAIOR 2012: 34-49
53		David Bergman, John N. Hooker: Graph Coloring Facets from All-Different Systems. CPAIOR 2012: 50-65
	2011
52		David Bergman, Willem Jan van Hoeve, John N. Hooker: Manipulating MDD Relaxations for Combinatorial Optimization. CPAIOR 2011: 20-35
	2010
51		Samid Hoda, Willem Jan van Hoeve, John N. Hooker: A Systematic Approach to MDD-Based Constraint Programming. CP 2010: 266-280
50		Elvin Coban, John N. Hooker: Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition. CPAIOR 2010: 87-91
49		Tallys H. Yunes, Ionut D. Aron, John N. Hooker: An Integrated Solver for Optimization Problems. Operations Research 58(2): 342-356 (2010)
	2009
48		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
47		John N. Hooker: Integer Programming Duality. Encyclopedia of Optimization 2009: 1657-1667
46		John N. Hooker: Integer Programming: Lagrangian Relaxation. Encyclopedia of Optimization 2009: 1667-1673
	2008
45		Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann: Approximate Compilation of Constraints into Multivalued Decision Diagrams. CP 2008: 448-462
44		Tarik Hadzic, John N. Hooker, Peter Tiedemann: Propagating Separable Equalities in an MDD Store. CPAIOR 2008: 318-322
43		John N. Hooker: Optimality Conditions for Distributive Justice. ISAIM 2008
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): 275-276 (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: 123-139 (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] [49]
3	David Bergman	[52] [53] [54]
4	Endre Boros	[9]
5	Giorgio C. Buttazzo	[24]
6	V. Chandru	[4] [6] [22]
7	André A. Ciré	[54]
8	Elvin Coban	[50]
9	Avi Efrati	[24]
10	C. Fedjiki	[3]
11	Ignacio E. Grossmann	[11]
12	Tarik Hadzic	[40] [41] [44] [45]
13	Peter L. Hammer (Peter Ladislaw Hammer)	[9]
14	Farid Harche	[10]
15	Samid Hoda	[51]
16	Willem Jan van Hoeve	[48] [51] [52] [54]
17	Latife Genç Kaya	[33] [37]
18	Hak-Jin Kim	[19] [21] [25]
19	María Auxilio Osorio Lama (Maria A. Osorio)	[17]
20	Barry O'Sullivan	[45]
21	Greger Ottosson	[19] [20] [21] [26]
22	Claude Le Pape	[24]
23	G. Rago	[22]
24	R. Raman	[11]
25	R. Ravi	[42]
26	F. Sibel Salman	[42]
27	A. Shrivastava	[22]
28	Joseph Sifakis	[24]
29	Gerald L. Thompson	[10]
30	Erlendur S. Thorsteinsson	[19] [20] [26]
31	Peter Tiedemann	[41] [44] [45]
32	V. Vinay	[13] [14]
33	Hong Yan	[11] [27]
34	Tallys H. Yunes	[29] [49]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page