Pages that link to "Item:Q3453228"
From MaRDI portal
The following pages link to Community Structure Inspired Algorithms for SAT and #SAT (Q3453228):
Displaying 7 items.
- Generating SAT instances with community structure (Q309919) (← links)
- The complexity landscape of decompositional parameters for ILP (Q1749387) (← links)
- New width parameters for SAT and \#SAT (Q2238644) (← links)
- On the Hardness of SAT with Community Structure (Q2818008) (← links)
- Impact of Community Structure on SAT Solver Performance (Q3192075) (← links)
- Community-Based Partitioning for MaxSAT Solving (Q5326461) (← links)
- Backdoor DNFs (Q6564620) (← links)