The SCEAS System
| ||||||||||||

## Paper infoRenato Bruni, Antonio SassanoA Complete Adaptive Algorithm for Propositional Satisfiability. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2003, v:127, n:3, pp:523-534 [Journal] Scores and RankSCEAS: 0.41721SCEAS_PS: 0SCEAS_BPS: 0SCEAS_EPS: 0SCEAS_BEPS: 0SCEAS_B0: 3.11202PAGE_RANK: 0.48050HITS_H: 0HITS_A: 0BHITS_H: 0BHITS_A: 0SALSA_A: 0SALSA_H: 0BSALSA_A: 0BSALSA_H: 0P: 0BCC: 0citations_to_me: 0citations_from_me: 0Graph produced by graphviz-1.8.5 | ||||||||||||

| ||||||||||||

| ||||||||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |