research
∙
10/15/2021
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
When solving a combinatorial problem using propositional satisfiability ...
share
research
∙
07/23/2019
Resource Analysis driven by (Conditional) Termination Proofs
When programs feature a complex control flow, existing techniques for re...
research
∙
09/17/2016
