The following pages link to (Q4798009):
Displaying 6 items.
- A hybrid approach of linear programming and logic modeling for the market core of sealed bid auctions (Q1379748) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Auction Description Language (ADL): General Framework for Representing Auction-Based Markets (Q4999288) (← links)
- Block structured scheduling using constraint logic programming (Q5145461) (← links)