Janota, Mikoláš.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings /
by:
Janota, Mikoláš.; Lynce, Inês.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]