عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202213940
eng
SAT 2020 :--Theory and applications of satisfiability testing
:10, 2020, Proceedings /-23rd International Conference, Alghero, Italy, July 3
Springer,
, 2020.
e
Computer algorithms ; Congresses. ;
Pulina, Luca ; Seidl, Martina. ;
old catalog
