Pages that link to "Item:Q309919"
From MaRDI portal
The following pages link to Generating SAT instances with community structure (Q309919):
Displaying 9 items.
- Solving non-uniform planted and filtered random SAT formulas greedily (Q2118298) (← links)
- On the hierarchical community structure of practical Boolean formulas (Q2118321) (← links)
- A model of random industrial SAT (Q2118866) (← links)
- Learning a propagation complete formula (Q2170198) (← links)
- Popularity-similarity random SAT formulas (Q2238712) (← links)
- New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
- On the Hardness of SAT with Community Structure (Q2818008) (← links)
- Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden (Q5881807) (← links)
- Satisfiability threshold for power law random 2-SAT in configuration model (Q5896832) (← links)
