The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Vitaly Lagoon" ( http://dblp.L3S.de/Authors/Vitaly_Lagoon )

  Author page on DBLP  Author page in RDF  Community of Vitaly Lagoon in ASPL-2

Publication years (Num. hits)
1996-2005 (15) 2006-2014 (15) 2017 (1)
Publication types (Num. hits)
article(12) inproceedings(19)
Venues (Conferences, Journals, ...)
CoRR(6) ICLP(4) CP(2) J. Artif. Intell. Res.(2) PPDP(2) APPIA-GULP-PRODE(1) Australian Conference on Artif...(1) ECAI(1) ESOP(1) FLOPS(1) IJCAI(1) ISTCS(1) J. Log. Program.(1) JSAT(1) LPAR(1) RTA(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 32 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Codish, Michael Frank 0002, Vitaly Lagoon The DNA Word Design Problem: A New Constraint Model and New Results. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter James Stuckey, Vitaly Lagoon Fast Set Bounds Propagation Using a BDD-SAT Hybrid. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey Solving Set Constraint Satisfaction Problems using ROBDDs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey Boolean Equi-propagation for Optimized SAT Encoding Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Vitaly Lagoon The challenges of constraint-based test generation. Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey Boolean Equi-propagation for Optimized SAT Encoding. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey, Vitaly Lagoon Fast Set Bounds Propagation Using a BDD-SAT Hybrid. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Solving Partial Order Constraints for LPO Termination. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Logic programming with satisfiability. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Telecommunications Feature Subscription as a Partial Order Constraint Problem. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Vitaly Lagoon, Peter J. Stuckey Fast Set Bounds Propagation using BDDs. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Logic Programming with Satisfiability Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl SAT Solving for Argument Filterings Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl SAT Solving for Argument Filterings. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey Size-Change Termination Analysis in k-Bits. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Solving Partial Order Constraints for LPO Termination. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey Solving Set Constraint Satisfaction Problems using ROBDDs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Solving Partial Order Constraints for LPO Termination Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Peter J. Stuckey Testing for Termination with Monotonicity Constraints. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vitaly Lagoon, Peter J. Stuckey Set Domain Propagation Using ROBDDs. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey Termination Analysis with Types Is More Accurate. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Vitaly Lagoon, Peter J. Stuckey Precise pair-sharing analysis of logic programs. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program analysis, sharing
1Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon Combining Norms to Prove Termination. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vitaly Lagoon, Peter J. Stuckey A Framework for Analysis of Typed Logic Programs. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon Type dependencies for logic programs using ACI-unification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Michael Codish, Vitaly Lagoon Sharing Analysis Using Set Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon Type Dependencies for Logic Programs Using ACI-Unification. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno Sharing Analysis for Logic Programs using Set Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license