Andrea Santori

According to our database1, Andrea Santori authored at least 2 papers between 2004 and 2008.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability.
Discret. Optim., 2008

2004
Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers.
Proceedings of the SAT 2004, 2004


  Loading...