The following pages link to Jordi Planes (Q505971):
Displaying 14 items.
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972) (← links)
- Resolution-based lower bounds in MaxSAT (Q606913) (← links)
- An efficient solver for weighted Max-SAT (Q933784) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Weighted argumentation for analysis of discussions in Twitter (Q2409095) (← links)
- Maximal Falsifiability (Q2870146) (← links)
- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers (Q3524192) (← links)
- (Q3604010) (← links)
- (Q3624095) (← links)
- Exploiting Cycle Structures in Max-SAT (Q3637180) (← links)
- Algorithms for Weighted Boolean Optimization (Q3637182) (← links)
- Maximal falsifiability (Q4592701) (← links)
- Theory and Applications of Satisfiability Testing (Q5713725) (← links)
- Feature necessity \& relevancy in ML classifier explanations (Q6535350) (← links)
