Scoring Functions Based on Second Level Score for k-SAT with Long Clauses
From MaRDI portal
Publication:2929584
DOI10.1613/jair.4480zbMath1367.68261OpenAlexW2121083000WikidataQ129490036 ScholiaQ129490036MaRDI QIDQ2929584
Kaile Su, Chuan Luo, Shaowei Cai
Publication date: 13 November 2014
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.4480
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (2)
CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability ⋮ A refined branching algorithm for the maximum satisfiability problem
This page was built for publication: Scoring Functions Based on Second Level Score for k-SAT with Long Clauses
