Capturing Structure with Satisfiability

Loading...
Thumbnail Image
Date
2001
Authors
Béjar Torres, RamónBéjar Torres, Ramón - ORCID ID
Cabiscol i Teixidó, AlbaCabiscol i Teixidó, Alba - ORCID ID
Fernàndez Camon, CésarFernàndez Camon, César - ORCID ID
Manyà Serres, Felip
Gomes, Carla
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title