Pulina, Luca.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings /
by:
Pulina, Luca.; SpringerLink (Online service); Seidl, Martina.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer organization.
Computer logic.
Numerical analysis.
Artificial intelligence.
Computer Systems Organization and Communication Networks.
Control Structures and Microprogramming.
Software engineering.
Numeric Computing.
Theory of Computation.
Logic in AI.
Computers.
Microprogramming .