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.

artificial intelligence, logic & formal reasoning, logic programming, (19 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
    - Essex County > Windsor (0.04)
    - National Capital Region > Ottawa (0.04)
    - Waterloo Region > Waterloo (0.04)
  - United States
    - California > Alameda County
      - Berkeley (0.04)
    - Illinois (0.04)

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