Branching Rules for Satisfiability

Authors
J.N.Hooker,V.Vinay
Citation
J.n.hooker,v.vinay, Branching Rules for Satisfiability, Journal of automated reasoning , 15(3), 1995, pp. 359-383
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
15
Issue
3
Year of publication
1995
Pages
359 - 383
Database
ACNP
SICI code