Algorithms for the satisfiability problem

Emerging

0
Citations
0
Refs
2012
Year
Search Works
Work Details
  • OpenAlex ID W2591349920
  • Type Article
  • Language EN
  • Published 01 Dec 2012
  • Volume 49 (2)
  • Pages 51–54
  • Added 03 Mar 2017
  • Updated 25 Oct 2026
External Links
OpenAlex Record Publisher Page
MENU
0

Algorithms for the satisfiability problem

Article 2012 EN

0

Citations

0

References

1

Authors

0.00

FWCI

Topics
Keywords
Authors & Affiliations
1 authors
#AuthorInstitutionsORCID
1 真基 山本 Corresponding — —
Related Works
10

Data: OpenAlex