Miguel Neves

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Branch And Bound Algorithm

Maximum Satisfiability

Top Venues

Publications

Miguel Neves, Inês Lynce, Vasco M. Manquinho
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. CoRR (2015)
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho
Exploiting Resolution-Based Representations for MaxSAT Solving. SAT (2015)
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho
Exploiting Resolution-based Representations for MaxSAT Solving. CoRR (2015)