Keyword:model building

Publications
Efficient Linear Model Building and Clause Evaluation Simon Schwarz, Christoph Weidenbach and Fabian Wobito In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
On Conflict-Driven Reasoning Maria Paola Bonacina In:Automated Formal Methods