Propositional logic provides a convenient language for expressing real-world originated problems such as AI planning, automated test pattern generation, bounded model checking and cryptanalysis. The interest in SAT solving has increased mainly due to improvements in the solving algorithms, which recently have increasingly focused on using parallelism offered by multi-CPU computers.
Partly orthogonally to these improvements this work studies several novel approaches to parallel solving of SAT instances in a grid of widely distributed "virtual" computers instead of workstations or supercomputers.
The doctoral dissertation of Licentiate of Science (Technology) Antti Hyvärinen examines the solving of hard structured problems using cloud computing. According to Hyvärinen, cloud computing can significantly speed up problem solving and save energy. Cloud computing means decentralising IT services so that tens, hundreds or thousands of distributed computers can be used simultaneously.
Hyvärinen says that solving practical problems often requires going through large amounts of data efficiently and performing automatic inference based on the material. For instance, when the link between certain genes and the onset of a disease is studied, the material from which correlations should be found can be extremely extensive.
− Cloud computing speeds up solving a problem because it is possible to use thousands of computers instead of just one. Instead of spending ten years looking for a solution, the computers may solve the problem in a matter of hours.
Hyvärinen explains that decentralising computers also saves energy.
− Computers produce a lot of heat and there is a major demand for computing capacity in large cities in the south. Due to the warm climate in these areas, cooling the heat produced by the computers consumes a lot of electricity.
Speed requires parallel computing
Hyvärinen says that the speed of computer processors, which execute program commands, will no longer increase significantly. If we want faster results in the future, all computing should be performed in parallel by several computers.
However, parallel programming is difficult. The dissertation presents several analytical and experimental results that offer solutions to the problems related to parallel processes. These new methods can be used to solve several previously unsolved problems for the first time. In practice, certain algorithms have been developed so that they can more efficiently make use of several processors simultaneously, decreasing the computational time.
Hyvärinen uses a propositional logic to model structured problems. Due to its general nature, this logic enables the modelling of different types of problems from bioinformatics to artificial intelligence design.
The doctoral dissertation of Antti Hyvärinen, “Grid Based Propositional Satisfiability Solving”, will be examined at the School of Science Department of Information and Computer Science on 28 November 2011 at noon (lecture hall T2, Konemiehentie 2, Espoo).The dissertation is available online at: http://lib.tkk.fi/Diss/
Terhi Arvela | alfa
Fraunhofer FIT joins Facebook's Telecom Infra Project
25.10.2016 | Fraunhofer-Institut für Angewandte Informationstechnik FIT
Stanford researchers create new special-purpose computer that may someday save us billions
21.10.2016 | Stanford University
Terahertz excitation of selected crystal vibrations leads to an effective magnetic field that drives coherent spin motion
Controlling functional properties by light is one of the grand goals in modern condensed matter physics and materials science. A new study now demonstrates how...
Researchers from the Institute for Quantum Computing (IQC) at the University of Waterloo led the development of a new extensible wiring technique capable of controlling superconducting quantum bits, representing a significant step towards to the realization of a scalable quantum computer.
"The quantum socket is a wiring method that uses three-dimensional wires based on spring-loaded pins to address individual qubits," said Jeremy Béjanin, a PhD...
In a paper in Scientific Reports, a research team at Worcester Polytechnic Institute describes a novel light-activated phenomenon that could become the basis for applications as diverse as microscopic robotic grippers and more efficient solar cells.
A research team at Worcester Polytechnic Institute (WPI) has developed a revolutionary, light-activated semiconductor nanocomposite material that can be used...
By forcefully embedding two silicon atoms in a diamond matrix, Sandia researchers have demonstrated for the first time on a single chip all the components needed to create a quantum bridge to link quantum computers together.
"People have already built small quantum computers," says Sandia researcher Ryan Camacho. "Maybe the first useful one won't be a single giant quantum computer...
COMPAMED has become the leading international marketplace for suppliers of medical manufacturing. The trade fair, which takes place every November and is co-located to MEDICA in Dusseldorf, has been steadily growing over the past years and shows that medical technology remains a rapidly growing market.
In 2016, the joint pavilion by the IVAM Microtechnology Network, the Product Market “High-tech for Medical Devices”, will be located in Hall 8a again and will...
14.10.2016 | Event News
14.10.2016 | Event News
12.10.2016 | Event News
25.10.2016 | Earth Sciences
25.10.2016 | Physics and Astronomy
25.10.2016 | Life Sciences