Skip to main navigation
Skip to search
Skip to main content

Universitat Autònoma de Barcelona Research Portal Home

Help & FAQ

Home
Profiles
Research units
Projects
Research output
Datasets
Theses and Supervised work

Search by expertise, name or affiliation

Beyond the structure of SAT formulas

Student thesis: Doctoral thesis

Date of Award	25 May 2016
Original language	Undefined/Unknown
Supervisor	Jordi Levy Díaz (Director)

Cite this

Standard
Short
Compact

Beyond the structure of SAT formulas

Jesús Giráldez Crú (Author). 25 May 2016

Student thesis: Doctoral thesis

Beyond the structure of SAT formulas

Jesús Giráldez Crú (Author), Levy Díaz, J. (Director), 25 May 2016

Student thesis: Doctoral thesis

Beyond the structure of SAT formulas

Student thesis: Doctoral thesis

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2025 Universitat Autònoma de Barcelona Research Portal , its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Universitat Autònoma de Barcelona Research Portal data protection policy

About web accessibility

Report vulnerability

'