Reasoning and inference for (Maximum) satisfiability: new insights.

Mohamed Sami Cherif

Published in: Constraints An Int. J. (2023)

Keyphrases

maximum satisfiability
probabilistic reasoning
max sat
boolean satisfiability
knowledge base
automated reasoning
knowledge representation
computational properties
search tree
combinatorial problems