An efficient SAT formulation for learning multiple criteria non-compensatory sorting rules from examples

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.1K citations · Full text

Engineering, Verification, Automated Proof +17

Chaff

Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations

Mathematical Programming, Artificial Intelligence, Constraint Solving +14

Generalization as search

Tom M. Mitchell · Artificial Intelligence · 1982 · 1.4K citations

Artificial Intelligence, Search Technology, Engineering +7

Assessing a set of additive utility functions for multicriteria decision-making, the UTA method

Eric Jacquet-Lagrèze, J. Siskos · European Journal of Operational Research · 1982 · 1.1K citations

Behavioral Decision Making, Decision Analysis, Multicriteria Decision-making +16

Ordinal regression revisited: Multiple criteria ranking using a set of additive value functions

Salvatore Greco, Vincent Mousseau, Roman Słowiński · European Journal of Operational Research · 2007 · 460 citations

Additive Value Functions, Ranking Algorithm, Engineering +12