Bernardo C. Vieira

Learn More
Various methods are currently used in order to predict shallow landslides within the catchment scale. Among them, physically based models present advantages associated with the physical description of processes by means of mathematical equations. The main objective of this research is the prediction of shallow landslides using TRIGRS model, in a pilot(More)
The state-of-the-art SAT solvers, such as Chaff [11], zChaff [18], BerkMin [5], and Minisat [2] usually share the same core techniques, for instance: the watched literals structures conflict clause recording and non-chronological backtracking. Nevertheless, they generally differ in the elimination of learnt clauses as well as in the decision heuristic. This(More)
  • 1