Inference of monotonicity constraints in Datalog programs

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.26, Iss.1-4, 1999-01, pp. : 29-57

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Generalization of ZYT-linearizability for bilinear datalog programs

By Kang J.-H. Hong K.-H. Whang K.-Y. Cho J.-W.

Information and Computation, Vol. 188, Iss. 1, 2004-01 ,pp. : 77-98

Elsevier

Access to resources Recommend Favorite

Solving mathematical programs with complementarity constraints as nonlinear programs

By Fletcher Roger Leyffer Sven

Optimization Methods and Software, Vol. 19, Iss. 1, 2004-02 ,pp. : 15-40

Taylor & Francis Ltd

Access to resources Recommend Favorite

Mathematical Programs with Vector Optimization Constraints

By Liou Y. Yang X. Yao J.

Journal of Optimization Theory and Applications, Vol. 126, Iss. 2, 2005-08 ,pp. : 345-355

Springer Publishing Company

Access to resources Recommend Favorite

Some Exact Penalty Results for Nonlinear Programs and Mathematical Programs with Equilibrium Constraints

By Lin G.H. Fukushima M.

Journal of Optimization Theory and Applications, Vol. 118, Iss. 1, 2003-07 ,pp. : 67-80

Springer Publishing Company

Access to resources Recommend Favorite

A filled function method for quadratic programs with binary constraints

By Wu Z. Y.

Optimization, Vol. 58, Iss. 5, 2009-07 ,pp. : 585-598

Taylor & Francis Ltd

Access to resources Recommend Favorite