Switch to: References

Add citations

You must login to add citations.
  1. Algorithms for computing minimal equivalent subformulas.Anton Belov, Mikoláš Janota, Inês Lynce & Joao Marques-Silva - 2014 - Artificial Intelligence 216:309-326.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Minimal sets on propositional formulae. Problems and reductions.Joao Marques-Silva, Mikoláš Janota & Carlos Mencía - 2017 - Artificial Intelligence 252 (C):22-50.
    Download  
     
    Export citation  
     
    Bookmark   1 citation