Pages that link to "Item:Q367248"
From MaRDI portal
The following pages link to Analysis and solving SAT and MAX-SAT problems using an \(L\)-partition approach (Q367248):
Displaying 6 items.
- An analysis of the LPT algorithm for the max-min and the min-ratio partition problems (Q817816) (← links)
- Investigation of maximum and minimum satisfiability problems using \(L\)-partition (Q2487731) (← links)
- Solving #SAT and MAXSAT by Dynamic Programming (Q3196312) (← links)
- ANALYSIS AND SOLUTION OF DISCRETE OPTIMIZATION PROBLEMS WITH LOGICAL CONSTRAINTS ON THE BASE OF L-PARTITION APPROACH (Q5150716) (← links)
- ANALYSIS OF L-STRUCTURE OF POLYHEDRON IN THE PARTIAL MAX SAT PROBLEM (Q5151087) (← links)
- Community-Based Partitioning for MaxSAT Solving (Q5326461) (← links)