Author: "Albert Rubio" / Journal: cav - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Albert Rubio"' showing total 2 results

Start Over Author "Albert Rubio" Journal cav

2 results on '"Albert Rubio"'

1. Proving Non-termination Using Max-SMT.

Author: Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, and Albert Rubio
Published: 2014
Full Text: View/download PDF

2. The Barcelogic SMT Solver.

Author: Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, and Albert Rubio
Published: 2008
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results