![](/img/cover-not-exists.png)
Tractability through symmetries in propositional calculus
Belaid Benhamou, Lakhdar SaisVolume:
12
Year:
1994
Language:
english
Pages:
14
DOI:
10.1007/bf00881844
File:
PDF, 861 KB
english, 1994