Concepedia

Vitaly Lagoon

VL

Statistics

Publications

7

Citations

151

H-Index

7

Active since

2000

Affiliations

The University of Melbourne(Current)

Data61

Ben-Gurion University of the Negev

Vitaly Lagoon is an author at The University of Melbourne specializing in formal methods, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationLogic ProgrammingProgram AnalysisSoftware AnalysisAnswer Set ProgrammingSatisfiability

Publications per year

2000–2010

7

Publications

7

Solving Set Constraint Satisfaction Problems using ROBDDs

Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey · Journal of Artificial Intelligence Research · 2005 · 57 citations · Full text

Mathematical Programming, Engineering, Robdd-based Approach +16

Logic programming with satisfiability

Michael Codish, Vitaly Lagoon, Peter J. Stuckey · Theory and Practice of Logic Programming · 2007 · 30 citations

Engineering, Automated Reasoning, Answer Set Programming +9

An algebraic approach to sharing analysis of logic programs

Michael Codish, Vitaly Lagoon, Francisco Bueno · The Journal of Logic Programming · 2000 · 15 citations

Applied Logic, Engineering, Program Analysis +8

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Graeme Gange, Peter J. Stuckey, Vitaly Lagoon · Journal of Artificial Intelligence Research · 2010 · 15 citations · Full text

Engineering, Computational Complexity, Range Searching +17

Precise pair-sharing analysis of logic programs

Vitaly Lagoon, Peter J. Stuckey · 2002 · 13 citations

Computational Logic, Set-sharing Domain Sharing, Engineering +14

1–5 of 7