Pages that link to "Item:Q2181777"
From MaRDI portal
The following pages link to Black-box optimization in an extended search space for SAT solving (Q2181777):
Displaying 6 items.
- A black-box scatter search for optimization problems with integer variables (Q742141) (← links)
- Recursive modified pattern search on high-dimensional simplex: a blackbox optimization technique (Q2061776) (← links)
- On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem (Q2117621) (← links)
- Optimizing S-Box Implementations for Several Criteria Using SAT Solvers (Q4639475) (← links)
- On black-box optimization in divide-and-conquer SAT solving (Q5085259) (← links)
- Finding Effective SAT Partitionings Via Black-Box Optimization (Q5153508) (← links)