Switch to: References

Add citations

You must login to add citations.
  1. Propositional Proof Systems Based on Maximum Satisfiability.Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Antonio Morgado & Joao Marques-Silva - 2021 - Artificial Intelligence 300:103552.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Minimal Sets on Propositional Formulae. Problems and Reductions.Joao Marques-Silva, Mikoláš Janota & Carlos Mencía - 2017 - Artificial Intelligence 252:22-50.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability.Chuan Luo, Shaowei Cai, Kaile Su & Wenxuan Huang - 2017 - Artificial Intelligence 243:26-44.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Cost-Optimal Constrained Correlation Clustering Via Weighted Partial Maximum Satisfiability.Jeremias Berg & Matti Järvisalo - 2017 - Artificial Intelligence 244:110-142.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark