NP-hard problems are worst-case intractable under standard assumptions But, they arise frequently in practice 2
Domain Reduction for the Circuit Constraint (2008)
Student Latife, Genc Kaya, Supervisor Prof, John Hooker
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating non-Hamiltonian edges from the associated graph (i.e., edges that...
Abstract. Several popular arguments against teaching business ethics are examined: (a) the ethical duty of business people is to maximize profit within the law, whence the irrelevance of ethics...
A Partial Instantiation based First Order Theorem Prover (2007)
Vijay Chandru, John Hooker, Anjul Shrivastava, Gabriela Rago
Satisfiability algorithms for propositional logic have improved enormously in recent years. This increases the attractiveness of satisfiability methods for first order logic that reduce the problem...
A Scheme for Unifying Optimization and Constraint Satisfaction Methods (2000)
John Hooker Greger, John Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, Hak-jin Kim
Optimization and constraint satisfaction methods are complementary to a large extent, and there has been much recent interest in combining them. Yet no generally accepted principle or scheme for...
Some Business-Related Ethical Issues in Engineering (2000)
Engineering has always been related to business, but now more than ever. Engineers are increasingly involved in startup companies in which they make business decisions as well as engineering...
Mathematical Programming and Logical Inference. (1998)
Balas, Egon, Cornuejols, Gerard, Hooker, John
The object of this research is to develop new and effective methods for logical inference that are based on mathematical programming. We investigated fast packing and covering algorithms as well as...