Tomohiro Sonobe

Learn More
Literal Block Distance (LBD) is the criterion to evaluate the quality of learnt clauses and is used as a standard technique to reserve important ones in the reduction phase of state-of-the-art SAT solvers. A LBD of a clause can be updated (decreased) during the search when it is re-evaluated at the Boolean constraint propagation phase. The update is(More)
The analysis and optimization of complex systems can be reduced to mathematical problems collectively known as combinatorial optimization. Many such problems can be mapped onto ground-state search problems of the Ising model, and various artificial spin systems are now emerging as promising approaches. However, physical Ising machines have suffered from(More)
We are proposing the SPGF system, which searches places with specified geographical features all around the world, utilizing huge amounts of satellite data from archives supplied by the GEO Grid system. This work will introduce a system to search mountains similar to Mt. Fuji from all over the world. First, we built a framework called GEO Grid Spider to(More)
  • 1