Author

Albert Oliveras

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

WhyUnsat: A Practical Explanation Tool

Here it is explained how and why the WhyUnsat approach is now also directly applicable, at no implementation cost, to IPASIR-UP-based constraint programming by Lazy Clause Generation (LCG) as well as to SAT Modulo Theories (SMT).

R. Nieuwenhuis, Albert Oliveras, Enric Rodríguez-carbonell · 0 citations