Tractability Through Symmetries in Propositional Calculus

Authors
B.Benhamou,L.Sais
Citation
B.benhamou,l.sais, Tractability Through Symmetries in Propositional Calculus, Journal of automated reasoning , 12(1), 1994, pp. 89-102
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
1
Year of publication
1994
Pages
89 - 102
Database
ACNP
SICI code