Pages that link to "Item:Q2326747"
From MaRDI portal
The following pages link to Declarative local search for predicate logic (Q2326747):
Displaying 5 items.
- Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933) (← links)
- Incremental Algorithms for Local Search from Existential Second-Order Logic (Q3524163) (← links)
- (Q4955327) (← links)
- Efficient Local Unfolding with Ancestor Stacks for Full Prolog (Q5458800) (← links)
- Adaptive large-neighbourhood search for optimisation in answer-set programming (Q6665706) (← links)