Back to Results
First PageMeta Content
Formal methods / Constraint programming / Electronic design automation / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / Boolean satisfiability problem / Linear programming / Mathematical optimization / Theoretical computer science / Applied mathematics / Mathematics


νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research
Add to Reading List

Document Date: 2014-10-16 19:21:04

Open Document

File Size: 366,15 KB

Share Result on Facebook

City

Trento / Seattle / Paphos / Uppsala / Helsinki / Kenting / Manchester / Portland / Cambridge / Vienna / San Diego / /

Company

AAAI Press / Microsoft / /

Country

Taiwan / Italy / Cyprus / Sweden / Austria / United States / United Kingdom / Finland / /

/

Facility

Technical University / Massachusetts Institute of Technology / /

IndustryTerm

search progresses / tuned and scalable theorem proving technologies / satellite solver works / search algorithms / optimization algorithms / binary search / satellite theory solver / large scale benchmark applications / /

Organization

Technical University of Denmark / Massachusetts Institute of Technology / /

Person

Maria Luisa Bonet / Derek Rayside / Carla P. Gomes / de Moura / Bastiaan Joost Schaafsma / Jordi Levy / Nina Narodytska / Albert Rubio / Ai / Aws Albarghouthi / Stefano Tonetta / Zachary Kincaid / Marsha Chechik / Anh-Dung Phan / Leonardo Mendon / Daniel Larraz / Yi Li / Allen Van Gelder / Peter Stone / Federico Heras / Albert Oliveras / Bruno Dutertre / Uli Sattler / Cristian Stenico / Christian Estler / Sergio Mover / Felip Many / Silvia Tomasi / Nikolaj Bjørner / Robert B. Jones / Peter Sewell / Arie Gurfinkel / Fahiem Bacchus / Roderick Bloem / Roberto Sebastiani / Robert Nieuwenhuis / Jessica Davies / Alberto Griggio / Daniel Jackson / Anders Franz / Lars Fleckenstein / Alessandro Cimatti / Theory / Dale Miller / /

Position

editor / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

end Algorithm / search algorithms / previous algorithms / slightly modifying algorithms / Guided Improvement Algorithm / main algorithms / resulting algorithm / optimization algorithms / theorem proving technologies / /

URL

http /

SocialTag