Capturing Structure with Satisfiability
Loading...
Date
2001
Authors
Béjar Torres, Ramón
Cabiscol i Teixidó, Alba
Fernàndez Camon, César
Manyà Serres, Felip
Gomes, Carla
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Lecture Notes in Computer Science, 2001, vol. 2239, p. 137-152