Improving Lower Bounds in MAXSAT Complete Algorithm Based Optimizing Inconsistent Set
type: Dataset
description: International audience
landing page: Chinese Journal of Computers
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: journal-articles
issued: 2026-05-05T09:49:40.730543
modified: 2026-05-05T09:49:40.730549
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Improving Lower Bounds in MAXSAT Complete Algorithm Based Optimizing Inconsistent Set
type: Distribution
format: HTML
access URL: https://hal.science/hal-00999319
issued: 2026-05-05T09:49:40.731855
modified: 2026-05-05T09:49:40.722442