Search Results - Heras, Federico

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Model-Guided Approaches for MaxSAT Solving

    Model-Guided Approaches for MaxSAT Solving by Morgado, Antonio, Heras, Federico, Marques-Silva, Joao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Iterative SAT Solving for Minimum Satisfiability

    Iterative SAT Solving for Minimum Satisfiability by Hers, F., Morgado, A., Planes, J., Marques-Silva, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: