Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak - Boolean satisfiability problem - Document - PDFSEARCH.IO

First Page	Meta Content
	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Document Date: 2008-11-06 07:52:12 Open Document File Size: 258,40 KB Share Result on Facebook Country Switzerland / / IndustryTerm polynomial-time algorithm / infinite state systems / conversion algorithm / smallest solution / smallest solutions / software model checkers / infinite-state transitions systems / represented transition systems / transition systems / sparse solutions / / Organization Viktor Kuncak School of Computer and Communication Sciences / / Person Theorem / Ruzica Piskac / / ProgrammingLanguage SETL / C / Java / / Technology 3.5 NP-Algorithm Our NP-algorithm / conversion algorithm / PSPACE algorithm / Java / polynomial-time algorithm / Single-loop / / SocialTag Linear algebra Boolean algebra Electronic design automation Formal methods NP-complete problems Multiset Boolean satisfiability problem Vector space Theorems and definitions in linear algebra Mathematics

Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator takAdd to Reading List