Practical static mode analyses of concurrent logic languages

von Tick, Evan
Veröffentlicht 1994

A Simple yet Efficient MCSes Enumeration with SAT Oracles

von Koshimura, Miyuki
Veröffentlicht in ACIIDS (12. : 2020 : Phuket) Intelligent information and database systems ; Part 1 (2020)

Robust Weighted Partial Maximum Satisfiability Problem: Challenge to ΣP2-Complete Problem

von Sugahara, Tomoya
Veröffentlicht in PRICAI (19. : 2022 : Schanghai) PRICAI 2022 ; Part 1 (2022)

Impossibility of weakly stable and strategy-proof mechanism

von Cho, Sung-Ho
Veröffentlicht in Economics letters (2022)