Ines Lynce

Identifiers

• name variant Ines Lynce 0.60 · backfill

Papers (4)

1. Incremental Cardinality Constraints for MaxSAT cs.LO · 2014 · author #4
2. Proceedings Second Workshop on Logics for Component Configuration cs.LO · 2011 · author #2
3. On Solving Boolean Multilevel Optimization Problems cs.LO · 2009 · author #2
4. Symmetry Breaking for Maximum Satisfiability cs.AI · 2008 · author #2

Mentions

• 1408.4628 #4 · backfill · confidence 0.70 Ines Lynce
• 1108.6097 #2 · backfill · confidence 0.70 Ines Lynce
• 0904.0019 #2 · backfill · confidence 0.70 Ines Lynce
• 0804.0599 #2 · backfill · confidence 0.70 Ines Lynce

Frequent Coauthors

• Joao Marques-Silva 2 shared papers
• Vasco Manquinho 2 shared papers
• Conrad Drescher 1 shared papers
• Josep Argelich 1 shared papers
• Ralf Treinen 1 shared papers
• Ruben Martins 1 shared papers
• Saurabh Joshi 1 shared papers