Further improvements for SAT in terms of formula length

标题
Further improvements for SAT in terms of formula length
作者
关键词
-
出版物
INFORMATION AND COMPUTATION
Volume 294, Issue -, Pages 105085
出版商
Elsevier BV
发表日期
2023-08-24
DOI
10.1016/j.ic.2023.105085

向作者/读者发起求助以获取更多资源

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started