Search

You searched for: Auteur Manyà, Felip Remove constraint Auteur: Manyà, Felip
1 entry found
Number of results to display per page

Search Results

1. Theory and Applications of Satisfiability Testing – SAT 2021
thumbnail
Full text!
Author:
Chu-Min Li; Manyà, Felip
Publisher:
Springer International Publishing 2021
Format:
e-book