Dominance constraints with Boolean connectives: a model-eliminative treatment

By Duchier D.  

Theoretical Computer Science, Vol. 293, Iss. 2, 2003-02 ,pp. : 321-343

Elsevier

Access to resources Recommend Favorite

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques

By Liu Lengning   Truszczyński Mirosław  

Constraints, Vol. 12, Iss. 3, 2007-09 ,pp. : 345-369

Springer Publishing Company

Access to resources Recommend Favorite

Finding optimal control policy in probabilistic Boolean Networks with hard constraints by using integer programming and dynamic programming

By Chen Xi  

International Journal of Data Mining and Bioinformatics, Vol. 7, Iss. 3, 2013-04 ,pp. : 321-343

Inderscience Publishers

Access to resources Recommend Favorite

Non-negative Matrix Factorization with Orthogonality Constraints and its Application to Raman Spectroscopy

By Li Hualiang  

Journal of VLSI Signal Processing, Vol. 48, Iss. 1-2, 2007-08 ,pp. : 83-97

Springer Publishing Company

Access to resources Recommend Favorite

On boolean lowness and boolean highness

By Reith S.   Wagner K.W.  

Theoretical Computer Science, Vol. 261, Iss. 2, 2001-06 ,pp. : 305-321

Elsevier

Access to resources Recommend Favorite