Skip to main content

2 Result(s)

within Miguel Terra-Neves Remove this filter Arithmetic and Logic Structures Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving

    The recent improvements in solving Maximum Satisfiability (MaxSAT) ...

    Andreia P. Guerreiro, Miguel Terra-Neves… in Principles and Practice of Constraint Prog… (2019)

  2. No Access

    Chapter and Conference Paper

    Encodings for Enumeration-Based Program Synthesis

    Pedro Orvalho, Miguel Terra-Neves… in Principles and Practice of Constraint Prog… (2019)