Pages that link to "Item:Q1285568"
From MaRDI portal
The following pages link to Length of prime implicants and number of solutions of random CNF formulae (Q1285568):
Displaying 9 items.
- A short implicant of a CNF formula with many satisfying assignments (Q727982) (← links)
- An efficient approach to solving random \(k\)-SAT problems (Q877837) (← links)
- The maximum length of prime implicates for instances of 3-SAT (Q1402744) (← links)
- Percolation on fitness landscapes: effects of correlation, phenotype, and incompatibilities (Q2211648) (← links)
- Implicates and prime implicates in random 3-SAT (Q2674186) (← links)
- Statistical mechanics methods and phase transitions in optimization problems (Q5958800) (← links)
- Random 2-SAT: Results and problems (Q5958804) (← links)
- Upper bounds on the satisfiability threshold (Q5958807) (← links)
- The number of satisfying assignments of random 2‐SAT formulas (Q6074640) (← links)