Fudge: A light-weight solver for abstract argumentation based on SAT reductions.
Matthias ThimmFederico CeruttiMauro VallatiPublished in: CoRR (2021)
Keyphrases
- lightweight
- sat solving
- satisfiability problem
- sat solvers
- weighted max sat
- search algorithm
- boolean formula
- search strategies
- stochastic local search
- max sat
- clause learning
- stochastic local search algorithms
- phase transition
- sat problem
- formal representation
- propositional satisfiability
- low cost
- communication infrastructure
- quantified boolean formulas
- video sequences