Bsolo (Manquinho and Marques-Silva, 2002) is based on old SAT solver GRASP. ... Presented an efficient solver MinCostChaff that applies advanced techniques in ...
Traffic engineering is the process of controlling how traffic flows through a ... Notes In Computer Science 3271, pp.102-114, October 3- 6, 2004, San Diego, USA. ...