Scoring functions based on second level score for \(k\)-SAT with long clauses
type: Item
instance of: scholarly article
zbMATH Open document ID: 1367.68261
author: Shaowei Cai
author: Chuan Luo
author: Kaile Su
publication date: 2014-11-13T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6369224
MaRDI profile type: Publication
full work available at URL: jair.4480
OpenAlex ID: W2121083000
Wikidata QID: Q129490036
DOI: 10.1613/JAIR.4480
title: Scoring functions based on second level score for \(k\)-SAT with long clauses
published in: The Journal of Artificial Intelligence Research (JAIR)
description: scientific article; zbMATH DE number 6369224