CALL FOR PAPERS [in PDF]
Journal of Advances in Information Technology (JAIT, ISSN 1798-2340)
Special Issue on Satisfiability Based Computing

The widespread use of information processing has resulted in a high degree of integration of information
technology in all kinds of applications. Consequently, the magnitude and complexity of information processing
systems has increased tremendously, and reasoning about such systems becomes more and more
complicated. Efficient computational representation and analysis of this vast knowledge base in a coherent way
has also become a challenging task.

This special issue seeks to improve and expand existing research in emerging areas of information science and
technology with global implications. It focuses on major technological breakthroughs with particular emphasis
on the accelerating principles and concepts of applying mathematical logic, reasoning, and inference
techniques with the blending of Boolean Satisfiability (SAT) tools to address practical applications of
biocomputing, software engineering, cognitive science, quantum informatics, information security.

Researchers, academicians, industry experts and students will find this special issue an important reference
source for advanced information technological applications and developments. It attempts to bring together
concepts and methods from varied disciplines and to develop techniques and tools to aid in the handling of the
information from the key application areas that can be leveraged such that results of multidisciplinary research,
regardless of the chosen focus area, may further integrate state-of-the-art information technologies in
applications of computing to the sciences and engineering. Technical papers are invited on the following topics,
but not limited to

Methods, Techniques and Tools
  • Satisfiability (including pseudo-boolean satisfiability, satisfiability modulo theory, answer set
    programming, solvers)
  • Combinatorial concepts and optimization techniques
  • Formal methods

Key Applications
  • Systems biology
  • Cognitive informatics
  • Evolutionary computation
  • Grid computing
  • Semantic Web
  • Quantum informatics
  • DNA computing
  • Cryptography

Important Dates

    Submission Deadline:                 February 15, 2011
    Acceptance Notification:               April 26, 2011
    Final Manuscript Due                    May 31, 2011
    Tentative Publication Date:          4th Issue, 2011

Submission

Prospective authors should submit high quality and original contributions that have not appeared, nor are under
consideration, in any other journals. Submissions should follow the guidelines of JAIT, which can be found at:
http://www.academypublisher.com/jait/forauthors.html.Manuscripts should be submitted electronically to the
corresponding Guest Editor, Dr. Ateet Bhalla, by E-mail at: bhalla.ateet@gmail.com.

Guest Editors

    Ateet Bhalla, PhD
    Associate Professor, Department of Computer Science and Engineering, NRI Institute of Information
    Science and Technology, Bhopal, India
    Email: bhalla.ateet@gmail.com

    Xishun Zhao, PhD
    Professor, Institute of Logic and Cognition, Sun Yat-sen University, 510275 Guangzhou, P.R. China
    Email: hsszxs@mail.sysu.edu.cn