When Satisfiability Solving Meets Symbolic Computation

Jun-23-2022, 08:35:35 GMT–Communications of the ACM

Plotkin, M. Binary codes with specified minimum distance.

information retrieval, logic & formal reasoning, natural language, (22 more...)

Communications of the ACM

Jun-23-2022, 08:35:35 GMT

Journals Web Page

AI-Alerts:
- 2022 > 2022-06 > AAAI AI-Alert for Jun 29, 2022 (1.00)

Country:
- North America
  - Canada > Ontario (0.46)
  - United States (0.68)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning
  - Logic & Formal Reasoning (0.93)
  - Mathematical & Statistical Methods (0.68)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found