The following pages link to (Q4216092):
Displaying 7 items.
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- An incremental algorithm for computing ranked full disjunctions (Q882441) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints (Q3503848) (← links)
- (Q3783442) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- (Q5146738) (← links)