A propositional theorem prover to solve planning and other problems

By van Gelder A.   Okushi F.  

Annals of Mathematics and Artificial Intelligence, Vol. 26, Iss. 1-4, 1999-01 ,pp. : 87-112

Springer Publishing Company

Access to resources Recommend Favorite

Two Error Bounds for Constrained Optimization Problems and Their Applications

By Wang Chang-Yu   Zhang Jian-Zhong   Zhao Wen-Ling  

Applied Mathematics and Optimization, Vol. 57, Iss. 3, 2008-06 ,pp. : 307-328

Springer Publishing Company

Access to resources Recommend Favorite

Propositional lower bounds: Algorithms and complexity

By Cadoli M.  

Annals of Mathematics and Artificial Intelligence, Vol. 27, Iss. 1-4, 1999-01 ,pp. : 129-148

Springer Publishing Company

Access to resources Recommend Favorite

A computational analysis of lower bounds for big bucket production planning problems

By Akartunalı Kerem  

Computational Optimization and Applications, Vol. 53, Iss. 3, 2012-12 ,pp. : 729-753

Springer Publishing Company

Access to resources Recommend Favorite

The non-approximability of bicriteria network design problems

By Balint V.  

Journal of Discrete Algorithms, Vol. 1, Iss. 3, 2003-06 ,pp. : 339-355

Elsevier

Access to resources Recommend Favorite