„maximum satisfiability“

Suchergebnisse

35 Treffer

• Effect of Initial Assignment on Local Search Performance for Max Sat
  Berend, Daniel ; Twitto, Yochai 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression
  Sakai, Takayuki ; Seto, Kazuhisa ; Tamaki, Suguru ; Teruyama, Junichi 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved Exact Algorithms for Mildly Sparse Instances of Max SAT
  Sakai, Takayuki ; Seto, Kazuhisa ; Tamaki, Suguru ; Teruyama, Junichi 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Robust Approximation of Temporal CSP
  Tamaki, Suguru ; Yoshida, Yuichi 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MAX-SAT Problem using Hybrid Harmony Search Algorithm
  Abu Doush, Iyad ; Quran, Amal Lutfi ; Al-Betar, Mohammed Azmi ; Awadallah, Mohammed A.
• A Refined Branching Algorithm for the Maximum Satisfiability Problem
  Li, Wenjun ; Xu, Chao ; Yang, Yongjie ; Chen, Jianer ; Wang, Jianxin
• Algorithms for the maximum satisfiability problem
  Hansen, Pierre ; Jaumard, Brigitte
• Probabilistic bounds and algorithms for the maximum satisfiability problem
  Boros, Endre ; Prékopa, András
• Reasoning and inference for (Maximum) satisfiability: new insights
  Cherif, Mohamed Sami
• Investigation of Maximum and Minimum Satisfiability Problems Using L-Partition
  Adel'shin, A. V.
• Open-Pit Mine Optimization with Maximum Satisfiability
  Deutsch, Matthew
• Searching for Optimization through Satisfiability – Satisfiability Approaches in Maximum Satisfiability and AI Planning
  Xing, Zhao 2010 LAP LAMBERT Academic Publishing
• Empirical investigation of stochastic local search for maximum satisfiability
  Chu, Yi ; Luo, Chuan ; Cai, Shaowei ; You, Haihang
• Efficient zonal diagnosis with maximum satisfiability
  Liu, Meng ; Ouyang, Dantong ; Cai, Shaowei ; Zhang, Liming
• Quantified maximum satisfiability
  Ignatiev, Alexey ; Janota, Mikoláš ; Marques-Silva, João