Search Results - Rollón, Emma

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving

    Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving by Nieuwenhuis, Robert, Oliveras, Albert, Rodriguez-Carbonell, Enric, Rollon, Emma

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations

    Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations by Rollon, Emma, Larrosa, Javier

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Bucket elimination for multiobjective optimization problems

    Bucket elimination for multiobjective optimization problems by Rollón, Emma, Larrosa, Javier

    Published in Journal of heuristics
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Local arc consistency for non-invertible semirings, with an application to multi-objective optimization

    Local arc consistency for non-invertible semirings, with an application to multi-objective optimization by Bistarelli, Stefano, Gadducci, Fabio, Larrosa, Javier, Rollon, Emma, Santini, Francesco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Augmenting the Power of (Partial) MaxSat Resolution with Extension

    Augmenting the Power of (Partial) MaxSat Resolution with Extension by Larrosa, Javier, Rollon, Emma

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Active Tuples-based Scheme for Bounding Posterior Beliefs

    Active Tuples-based Scheme for Bounding Posterior Beliefs by Bidyuk, B., Dechter, R., Rollon, E.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Enabling local computation for partially ordered preferences

    Enabling local computation for partially ordered preferences by Fargier, Hélène, Rollon, Emma, Wilson, Nic

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving

    Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving by Larrosa, Javier, Martínez, Conrado, Rollon, Emma

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems

    Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems by Larrosa, Javier, Rollon, Emma

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Decomposing Utility Functions in Bounded Max-sum for Distributed Constraint Optimization

    Decomposing Utility Functions in Bounded Max-sum for Distributed Constraint Optimization by Rollon, Emma, Larrosa, Javier

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence

    New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence by Rollon, Emma, Dechter, Rina

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Active Tuples-based Scheme for Bounding Posterior Beliefs

    Active Tuples-based Scheme for Bounding Posterior Beliefs by Bidyuk, Bozhena, Dechter, Rina, Rollon, Emma

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: