Vasilis Papavasileiou

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Satisfiability Modulo Theories

Modulo Theories

Definite Clause

Background Knowledge

Top Venues

Publications

Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat
Eliom: tierless Web programming from the ground up. IFL (2016)
Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou
The Inez Mathematical Programming Modulo Theories Framework. CAV (2) (2015)
Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald
ILP Modulo Data. CoRR (2014)
Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald
ILP Modulo Data. FMCAD (2014)
Panagiotis Manolios, Vasilis Papavasileiou
ILP Modulo Theories. CAV (2013)
Panagiotis Manolios, Vasilis Papavasileiou
ILP Modulo Theories CoRR (2012)
Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. CAV (2011)
Panagiotis Manolios, Vasilis Papavasileiou
Pseudo-Boolean Solving by incremental translation to SAT. FMCAD (2011)