Fugu-MT 論文翻訳(概要): New Hybrid Heuristics for Pseudo-Boolean Propagation

論文の概要: New Hybrid Heuristics for Pseudo-Boolean Propagation

arxiv url: http://arxiv.org/abs/2511.21417v1
Date: Wed, 26 Nov 2025 14:08:28 GMT
ステータス: 翻訳完了
システム内更新日: 2025-11-27 18:37:59.134642
Title: New Hybrid Heuristics for Pseudo-Boolean Propagation
Title（参考訳）: Pseudo-Boolean Propagationの新しいハイブリッドヒューリスティック
Authors: Mia Müßig, Jan Johannsen,
Abstract要約: 擬似ブール解法において、現在最も成功した単位伝搬戦略は、監視リテラルスキームとカウント法を組み合わせたハイブリッドモードである。本稿では、このハイブリッド決定のニュースを紹介する。これは、ラウンドリングSATソルバにおける現在の手法を大幅に上回ることができる。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In pseudo-boolean solving the currently most successful unit propagation strategy is a hybrid mode combining the watched literal scheme with the counting method. This short paper introduces new heuristics for this hybrid decision, which are able to drastically outperform the current method in the RoundingSAT solver.
Abstract（参考訳）: 擬似ブール解法において、現在最も成功した単位伝搬戦略は、監視リテラルスキームとカウント法を組み合わせたハイブリッドモードである。本稿では,このハイブリッド決定に対する新たなヒューリスティックスを提案する。

関連論文リスト

A Greedy PDE Router for Blending Neural Operators and Classical Methods [24.752048932494827]
最適なハイブリッド反復解法が設計され、各イテレーションにおいて、ソルバのアンサンブルからソルバが選択され、それらの相補的な強みを利用する。最適解に対する定数要素を保証するためには、欲求選択戦略が望ましいが、各ステップにおける真のエラーの知識が必要である。本稿では,解法選択に対するグリージーアプローチを効率的に模倣する近似グリージールータを提案する。
論文参考訳（メタデータ） (2025-09-29T14:02:27Z)
Light and Optimal Schrödinger Bridge Matching [67.93806073192938]
我々はSB(Schr"odinger Bridges)を学習するための新しい手法を提案し、それを textbf Schr"odinger Bridge matching と呼ぶ。 EOT/SBを学習するための最適橋梁マッチングは,最近発見されたエネルギーベースモデリング(EBM)の目標と一致することを示す。我々は、Schr"odinger電位の混合パラメタライゼーションを用いて、実際に最適なマッチングを実現するための光解法(LightSB-Mと呼ぶ)を開発した。
論文参考訳（メタデータ） (2024-02-05T17:17:57Z)
A Deep Unrolling Model with Hybrid Optimization Structure for Hyperspectral Image Deconvolution [50.13564338607482]
本稿では,DeepMixと呼ばれるハイパースペクトルデコンボリューション問題に対する新しい最適化フレームワークを提案する。これは3つの異なるモジュール、すなわちデータ一貫性モジュール、手作りの正規化器の効果を強制するモジュール、および装飾モジュールで構成されている。本研究は,他のモジュールの協調作業によって達成される進歩を維持するために設計された,文脈を考慮した認知型モジュールを提案する。
論文参考訳（メタデータ） (2023-06-10T08:25:16Z)
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems [20.0212772540119]
本稿では,非決定論的ハイブリッドシステムのためのサンプリング型戦略合成アルゴリズムを提案する。我々は,ハイブリッドシステムの進化を,非決定主義が敵対的プレイヤーである2人プレイヤゲームとしてモデル化する。目的は、敵プレイヤーのあらゆる可能な動きの下でゴールの満足度を保証する、勝利戦略 - 反応性(ロバスト)戦略を合成することである。
論文参考訳（メタデータ） (2023-04-14T00:45:16Z)
Multi-Phase Relaxation Labeling for Square Jigsaw Puzzle Solving [73.58829980121767]
本稿では,大域最適化に基づく二乗ジグソーパズルの解法を提案する。この手法は完全に自動化されており、事前情報を前提とせず、未知または未知のピースオリエンテーションでパズルを扱うことができる。
論文参考訳（メタデータ） (2023-03-26T18:53:51Z)
Iterative Qubit Coupled Cluster using only Clifford circuits [36.136619420474766]
古典的に容易に生成できる理想的な状態準備プロトコルを特徴付けることができる。繰り返し量子ビット結合クラスタ(iQCC)の変種を導入して,これらの要件を満たす手法を提案する。本研究では, チタン系化合物Ti(C5H5)(CH3)3と (20, 20) 活性空間の複雑な系に研究を拡張した。
論文参考訳（メタデータ） (2022-11-18T20:31:10Z)
UnitedQA: A Hybrid Approach for Open Domain Question Answering [70.54286377610953]
最近の訓練済みのニューラル言語モデルに基づいて,抽出的および生成的読取能力を高めるために,新しい手法を適用した。私たちのアプローチは、それぞれNaturalQuestionsとTriviaQAと正確な一致で、以前の最先端のモデルを3.3と2.7ポイント上回る。
論文参考訳（メタデータ） (2021-01-01T06:36:16Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。