Dpll型モデル計数ソルバの投射モデル計数への拡張 (特集 「命題論理の充足可能性問題satと応用技術」および一般)
Year: 2015
Type: article
Source: 人工知能基本問題研究会
Authors: 涼介 鈴木, 健二 橋本, 正彦 酒井
Language: Japanese
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W224820903