Switch to: References

Citations of:

Extended clause learning

Artificial Intelligence 174 (15):1277-1284 (2010)

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 (C):103552.
    Download  
     
    Export citation  
     
    Bookmark