Vitaly Lagoon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
1997–2024
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CPAIOR | Single Constant Multiplication for SAT. | Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack |
| 2017 | IJCAI | The DNA Word Design Problem: A New Constraint Model and New Results. | Michael Codish, Michael Frank, Vitaly Lagoon |
| 2011 | CP | Boolean Equi-propagation for Optimized SAT Encoding. | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2011 | PPDP | The challenges of constraint-based test generation. | Vitaly Lagoon |
| 2008 | ECAI | Fast Set Bounds Propagation using BDDs. | Graeme Gange, Vitaly Lagoon, Peter J. Stuckey |
| 2008 | ICLP | Telecommunications Feature Subscription as a Partial Order Constraint Problem. | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2006 | ESOP | Size-Change Termination Analysis in | Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey |
| 2006 | LPAR | SAT Solving for Argument Filterings. | Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, Ren Thiemann, Jrgen Giesl |
| 2005 | ICLP | Testing for Termination with Monotonicity Constraints. | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2004 | CP | Set Domain Propagation Using ROBDDs. | Vitaly Lagoon, Peter J. Stuckey |
| 2003 | ICLP | Termination Analysis with Types Is More Accurate. | Vitaly Lagoon, Frdric Mesnard, Peter J. Stuckey |
| 2002 | PPDP | Precise pair-sharing analysis of logic programs. | Vitaly Lagoon, Peter J. Stuckey |
| 2002 | VMCAI | Combining Norms to Prove Termination. | Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon |
| 2001 | FLOPS | A Framework for Analysis of Typed Logic Programs. | Vitaly Lagoon, Peter J. Stuckey |
| 1997 | ICLP | Sharing Analysis Using Set Logic Programs. | Francisco Bueno, Michael Codish, Vitaly Lagoon |
| 1997 | SAS | An Algebraic Approach to Sharing Analysis of Logic Programs. | Michael Codish, Vitaly Lagoon, Francisco Bueno |