[1] M.R. Garey, D.S. Johnson, Computers and Intractability, W.H.

Freeman and

Company, New York, NY, 1979.

[2] R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, L. Troyansky, Determining

computational complexity from characteristic phase transitions, Nature 400

(6740) (1999) 133–137.

[3] M. Mézard, G. Parisi, R. Zecchina, Analytic and algorithmic solution of random

satisfiability problems, Science 297 (5582) (2002) 812–815.

[4] H.J. Zimmermann, A. Monfroglio, Linear programs for constraint satisfaction

problems, European Journal of Operational Research 97 (1) (1997) 105–123.

[5] J. Coelho, M. Vanhoucke, Multi-mode resource-constrained project scheduling

using RCPSP and SAT solvers, European Journal of Operational Research 213 (1)

(2011) 73–82.

[6] E. Clarke, A. Gupta, H. Jain, H. Veith, Model checking: back and forth between
hardware and software, Verified Software: Theories, Tools, Experiments (2008)

251–255.

[7] H. Jain, E.M. Clarke, Efficient SAT solving for non-clausal formulas using DPLL,

graphs, and watched cuts, in: Design Automation Conference, 2009. DAC’09.

46th ACM/IEEE, IEEE, 2009, pp. 563–568.

[8] Y. Hamadi, S. Jabbour, L. Sais, ManySAT: a parallel SAT solver, Journal on

Satisfiability, Boolean Modeling and Computation 6 (2009) 245–262.

2 respectively.

References

1. Kelly J. J. (2002). Statistical Physics Using mathematica. 1st Edition. Spring Netherland.

2. Quarie, D. (2000). Statistical Mechanics. 1st Edition Sausalito, California. University Science Book.

3. Kolomeisky, E. & Straley, J. (1992). Renormalization group analysis of the ground-state properties of
dilute
Bose System in d-spatial dimension. Physical review B. 46(18).

4. Chui, S. & Ryzhov, V. (2004). Collapse transition in mixtures of bosons and fermions. Physical Review a

69(4).

5. Kramers, A. & wanier, H. (1994). Statistics of the two dimensional ferromagnet. Part I. Physical Review
A

60: 252-262.

6. Andrew, M., Townsend, H., Miesner, D; Durfee D; Kurn, M. & Ketterle, W. (1997). Observation of
interference between two Bose condensates. Science 273: 637-641.

7. Hasan, A. S. & Ahdel-Gany, A. (2013). Thermodynamics properties of a rotating Bose-Einstein

condensation

in a deep optical lattice. Turkish Journal of Physics. Vol. 38