Contents

SAT filter

Contents

SAT filter

SATフィルタは確率的データ構造のひとつである(詳しくはSAT filterを参照)。

量子アニーリングをSATフィルタに適用する研究が行われている[Douglass et al., 2015, Azinović et al., 2017]。

References

DKR15

Adam Douglass, Andrew D. King, and Jack Raymond. Constructing SAT Filters with a Quantum Annealer. In Marijn Heule and Sean Weaver, editors, Theory and Applications of Satisfiability Testing – SAT 2015, Lecture Notes in Computer Science, 104–120. Cham, 2015. Springer International Publishing.

AzinovicHH+17

Marlon Azinović, Daniel Herr, Bettina Heim, Ethan Brown, and Matthias Troyer. Assessment of Quantum Annealing for the Construction of Satisfiability Filters. SciPost Physics, 2(2):013, April 2017. URL: https://scipost.org/10.21468/SciPostPhys.2.2.013 (visited on 2021-03-07).

SAT filter

SATフィルタは確率的データ構造のひとつである(詳しくはSAT filterを参照)。

量子アニーリングをSATフィルタに適用する研究が行われている[Douglass et al., 2015, Azinović et al., 2017]。

References

DKR15

Adam Douglass, Andrew D. King, and Jack Raymond. Constructing SAT Filters with a Quantum Annealer. In Marijn Heule and Sean Weaver, editors, Theory and Applications of Satisfiability Testing – SAT 2015, Lecture Notes in Computer Science, 104–120. Cham, 2015. Springer International Publishing.

AzinovicHH+17

Marlon Azinović, Daniel Herr, Bettina Heim, Ethan Brown, and Matthias Troyer. Assessment of Quantum Annealing for the Construction of Satisfiability Filters. SciPost Physics, 2(2):013, April 2017. URL: https://scipost.org/10.21468/SciPostPhys.2.2.013 (visited on 2021-03-07).

previous

Unfair sampling

next

Bayesian Optimization