Login / Signup

Unifying Framework for Optimizations in Non-Boolean Formalisms.

Yuliya Lierler
Published in: Theory Pract. Log. Program. (2023)
Keyphrases