Year | Venue | Field |
---|---|---|
2010 | JSAT | Maximum satisfiability problem,Programming language,Computer science,Constraint programming,Boolean satisfiability problem,Theoretical computer science,Eclipse,Plug-in,Solver,Modular design,Java |
DocType | Volume | Issue |
Journal | 7 | 2-3 |
Citations | PageRank | References |
164 | 4.77 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Le Berre | 1 | 681 | 41.26 |
Anne Parrain | 2 | 188 | 7.56 |