Year | Venue | Keywords |
---|---|---|
2007 | Description Logics | description logic,model checking |
Field | DocType | Citations |
Boolean function,Discrete mathematics,Abstraction model checking,Model checking,Computer science,Boolean satisfiability problem,Binary decision diagram,Automated proof checking,Well-formed formula,Boolean expression | Conference | 0 |
PageRank | References | Authors |
0.34 | 6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shoham Ben-David | 1 | 627 | 53.80 |
Richard J. Trefler | 2 | 222 | 14.59 |
Grant E. Weddell | 3 | 470 | 137.41 |