Advanced search

Authors whose works are in public domain in at least one jurisdiction
Missing/wrong data? Edit Wikidata item

SWORD: A SAT like Prover Using Word Level Information

Author/s

Wikidata


Work details

Publication date: 2009

Copyright status