schliessen

Filtern

 

Bibliotheken

6.

Logic-based Benders decomposition
by HOOKER, J. N

Mathematical programming, 2003, Vol.96 (1), p.33-60

7.

Needed: An Empirical Science of Algorithms
by Hooker, J. N

Operations research, 1994-03-01, Vol.42 (2), p.201-212

10.

Testing heuristics: We have it all wrong
by Hooker, J. N.

Journal of heuristics, 1995-09, Vol.1 (1), p.33-42

12.

Branching rules for satisfiability
by Hooker, J. N.

Journal of automated reasoning, 1995, Vol.15 (3), p.359-383

18.

Extended Horn sets in propositional logic
by Chandru, V

Journal of the ACM, 1991-01-03, Vol.38 (1), p.205-221

19.

New methods for computing inferences in first order logic
by Hooker, J. N.

Annals of operations research, 1993-09, Vol.43 (9), p.477-492

20.

Boolean regression
by Boros, E.

Annals of operations research, 1995-05, Vol.58 (3), p.201-226

123

Recommended databases

Find more Articles matching your search terms in these recommended databases.