Pages that link to "Item:Q2287195"
From MaRDI portal
The following pages link to New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195):
Displaying 4 items.
- Solving problems in the polynomial hierarchy with ASP(Q) (Q2694590) (← links)
- (Q4539634) (← links)
- Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers (Q4603430) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)