「Boolean satisfiability problem」を含む例文一覧(1)
- In one embodiment, a method for scheduling events in a Boolean satisfiability (SAT) solver includes collecting one or more first-order statistics on a search for a valid solution to an SAT problem, deriving one or more second-order statistics on the search from the one or more first-order statistics, and scheduling events in the search according to one or more of the second-order statistics.
一態様では、ブール充足可能性（ＳＡＴ）解答装置におけるイベントをスケジューリングする方法は、ＳＡＴ問題に対する有効な解を探索する際に、１以上の１次統計値を収集し、探索の際に前記１以上の１次統計値から１以上の２次統計値を導出し、前記１以上の２次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
