Vitaly Lagoon

According to our database, Vitaly Lagoon authored at least 23 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Single Constant Multiplication for SAT.

Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2017

The DNA Word Design Problem: A New Constraint Model and New Results.

Michael Codish, Michael Frank, Vitaly Lagoon

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2011

The challenges of constraint-based test generation.

Vitaly Lagoon

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Boolean Equi-propagation for Optimized SAT Encoding.

Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Fast Set Bounds Propagation Using a BDD-SAT Hybrid.

Graeme Gange, Peter J. Stuckey, Vitaly Lagoon

J. Artif. Intell. Res., 2010

2008

Logic programming with satisfiability.

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Theory Pract. Log. Program., 2008

Solving Partial Order Constraints for LPO Termination.

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

J. Satisf. Boolean Model. Comput., 2008

Telecommunications Feature Subscription as a Partial Order Constraint Problem.

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Proceedings of the Logic Programming, 24th International Conference, 2008

Fast Set Bounds Propagation using BDDs.

Graeme Gange, Vitaly Lagoon, Peter J. Stuckey

Proceedings of the ECAI 2008, 2008

2006

SAT Solving for Argument Filterings.

Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl

Proceedings of the Logic for Programming, 2006

Size-Change Termination Analysis in <i>k</i>-Bits.

Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey

Proceedings of the Programming Languages and Systems, 2006

2005

Solving Set Constraint Satisfaction Problems using ROBDDs.

Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey

J. Artif. Intell. Res., 2005

Testing for Termination with Monotonicity Constraints.

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Set Domain Propagation Using ROBDDs.

Vitaly Lagoon, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2004

Set Bounds and (Split) Set Domain Propagation Using ROBDDs.

Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

2003

Termination Analysis with Types Is More Accurate.

Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Combining Norms to Prove Termination.

Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon

Proceedings of the Verification, 2002

Precise pair-sharing analysis of logic programs.

Vitaly Lagoon, Peter J. Stuckey

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

2001

A Framework for Analysis of Typed Logic Programs.

Vitaly Lagoon, Peter J. Stuckey

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

Type dependencies for logic programs using ACI-unification.

Michael Codish, Vitaly Lagoon

Theor. Comput. Sci., 2000

An Algebraic Approach to Sharing Analysis of Logic Programs.

Michael Codish, Vitaly Lagoon, Francisco Bueno

J. Log. Program., 2000

1997

Sharing Analysis Using Set Logic Programs.

Francisco Bueno, Michael Codish, Vitaly Lagoon

Proceedings of the Logic Programming, 1997

1996

Sharing Analysis for Logic Programs using Set Logic Programs.

Michael Codish, Vitaly Lagoon, Francisco Bueno

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996