In\^es Lynce

Identifiers

• name variant In\^es Lynce 0.60 · backfill

Papers (5)

1. DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability cs.LO · 2015 · author #2
2. Exploiting Resolution-based Representations for MaxSAT Solving cs.AI · 2015 · author #4
3. On When and How to use SAT to Mine Frequent Itemsets cs.AI · 2012 · author #2
4. Proceedings First International Workshop on Logics for Component Configuration cs.LO · 2010 · author #1
5. On Improving Local Search for Unsatisfiability cs.AI · 2009 · author #2

Mentions

• 1505.02408 #2 · backfill · confidence 0.70 In\^es Lynce
• 1505.02405 #4 · backfill · confidence 0.70 In\^es Lynce
• 1207.6253 #2 · backfill · confidence 0.70 In\^es Lynce
• 1007.0831 #1 · backfill · confidence 0.70 In\^es Lynce
• 0910.1244 #2 · backfill · confidence 0.70 In\^es Lynce

Frequent Coauthors

• Vasco Manquinho 3 shared papers
• Miguel Neves 2 shared papers
• David Pereira 1 shared papers
• Mikol\'a\v{s} Janota 1 shared papers
• Ralf Treinen 1 shared papers
• Ruben Martins 1 shared papers
• Rui Henriques 1 shared papers
• Steven Prestwich 1 shared papers