Vitaly Lagoon

32 papers A* 1A 4B 7C 2Misc 1Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
Single Constant Multiplication for SAT.
CPAIOR (1)
Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack
2017 A* conf
The DNA Word Design Problem: A New Constraint Model and New Results.
IJCAI
Michael Codish, Michael Frank, Vitaly Lagoon
2014 J jnl
Fast Set Bounds Propagation Using a BDD-SAT Hybrid.
CoRR
Graeme Gange, Peter James Stuckey, Vitaly Lagoon
2011 J jnl
Boolean Equi-propagation for Optimized SAT Encoding
CoRR
Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2011 A conf
Boolean Equi-propagation for Optimized SAT Encoding.
CP
Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2011 J jnl
Solving Set Constraint Satisfaction Problems using ROBDDs
CoRR
Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
2011 C conf
The challenges of constraint-based test generation.
PPDP
Vitaly Lagoon
2010 J jnl
Fast Set Bounds Propagation Using a BDD-SAT Hybrid.
J. Artif. Intell. Res.
Graeme Gange, Peter J. Stuckey, Vitaly Lagoon
2008 A conf
Fast Set Bounds Propagation using BDDs.
ECAI
Graeme Gange, Vitaly Lagoon, Peter J. Stuckey
2008 J jnl
Logic programming with satisfiability.
Theory Pract. Log. Program.
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2008 J jnl
Solving Partial Order Constraints for LPO Termination.
J. Satisf. Boolean Model. Comput.
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2008 B conf
Telecommunications Feature Subscription as a Partial Order Constraint Problem.
ICLP
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2007 J jnl
Logic Programming with Satisfiability
CoRR
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2006 J jnl
SAT Solving for Argument Filterings
CoRR
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
2006 B conf
SAT Solving for Argument Filterings.
LPAR
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
2006 A conf
Size-Change Termination Analysis in
ESOP
Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey
2006 — conf
Solving Partial Order Constraints for LPO Termination.
RTA
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2005 J jnl
Solving Partial Order Constraints for LPO Termination
CoRR
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2005 J jnl
Solving Set Constraint Satisfaction Problems using ROBDDs.
J. Artif. Intell. Res.
Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
2005 B conf
Testing for Termination with Monotonicity Constraints.
ICLP
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
2004 — conf
Set Bounds and (Split) Set Domain Propagation Using ROBDDs.
Australian Conference on Artificial Intelligence
Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
2004 A conf
Set Domain Propagation Using ROBDDs.
CP
Vitaly Lagoon, Peter J. Stuckey
2003 B conf
Termination Analysis with Types Is More Accurate.
ICLP
Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey
2002 B conf
Combining Norms to Prove Termination.
VMCAI
Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon
2002 C conf
Precise pair-sharing analysis of logic programs.
PPDP
Vitaly Lagoon, Peter J. Stuckey
2001 Misc conf
A Framework for Analysis of Typed Logic Programs.
FLOPS
Vitaly Lagoon, Peter J. Stuckey
2000 J jnl
An Algebraic Approach to Sharing Analysis of Logic Programs.
J. Log. Program.
Michael Codish, Vitaly Lagoon, Francisco Bueno
2000 J jnl
Type dependencies for logic programs using ACI-unification.
Theor. Comput. Sci.
Michael Codish, Vitaly Lagoon
1997 B conf
An Algebraic Approach to Sharing Analysis of Logic Programs.
SAS
Michael Codish, Vitaly Lagoon, Francisco Bueno
1997 B conf
Sharing Analysis Using Set Logic Programs.
ICLP
Francisco Bueno, Michael Codish, Vitaly Lagoon
1996 — conf
Sharing Analysis for Logic Programs using Set Logic Programs.
APPIA-GULP-PRODE
Michael Codish, Vitaly Lagoon, Francisco Bueno
1996 — conf
Type Dependencies for Logic Programs Using ACI-Unification.
ISTCS
Michael Codish, Vitaly Lagoon