Author Info
Name
Papers
Collaborators
ANDREA SANTORI
2
1
Citations 
PageRank 
Referers 
4
0.76
5
Referees 
References 
34
32
Title
Citations
PageRank
Year
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability10.362008
Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers30.412004