Dozens of the schoolgirls kidnapped from Chibok in April 2014 escaped on their own within two days of the abduction. One girl escaped this year, saying she had been led to freedom by her Boko Haram "husband." Some 218 remain missing in the abduction that shocked the world and even got U.S. first lady Michelle Obama to participate in the #Bring Back Our Girls social media campaign, promising her husband would do all in his power to help liberate them.
Moore served most of a 20-year sentence for choking his wife into unconsciousness in 1996 and stabbing her in front of their 5-year-old daughter. He then took the child and fled to Florida in his wife's car, where he was recognized from a segment of the TV show "America's Most Wanted." He then left the child with a friend in Florida and was eventually arrested in Los Angeles.
Since he took office in September, Prime Minister Yoshihide Suga has made little progress in resolving North Korea's abductions of Japanese citizens or an ongoing territorial dispute with Russia. When he took office, Suga vowed to lead efforts to resolve the abduction issue. In his Diet speeches in October and January, he described the issue as "a top priority for my administration." But there has been no confirmed contact between Tokyo and Pyongyang. A Japanese government source signaled that there has been no progress in the abduction issue. "We can say only that we're watching the North Korean situation with close attention," the source said.
BEIJING – North Korea's official Pyongyang Broadcasting Station said Friday that the issue of Pyongyang's past abductions of Japanese nationals has "already been settled," according to the Tokyo-based Radio Press news agency. It is the first time for North Korean media to reiterate the government's official line since Tuesday's summit between U.S. President Donald Trump and North Korean leader Kim Jong Un in Singapore. Prime Minister Shinzo Abe has recently voiced willingness to hold talks with Kim to discuss the abduction issue. Tokyo maintains that Japanese abducted by North Korea in the 1970s and 1980s remain unaccounted for. Washington has said that at Abe's request, Trump brought up the Japanese abduction issue at his summit with Kim.
Abductive reasoning (or Abduction, for short) is among the most fundamental AI reasoning methods, with a broad range of applications, including fault diagnosis, belief revision, and automated planning. Unfortunately, Abduction is of high computational complexity; even propositional Abduction is Σ 2 P -complete and thus harder than NP and coNP. This complexity barrier rules out the existence of a polynomial transformation to propositional satisfiability (SAT). In this work we use structural properties of the Abduction instance to break this complexity barrier. We utilize the problem structure in terms of small backdoor sets. We present fixed-parameter tractable transformations from Abduction to SAT, which make the power of today's SAT solvers available to Abduction.