Vitaly Lagoon

	2011
29		Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Boolean Equi-propagation for Optimized SAT Encoding. CP 2011: 621-636
28		Vitaly Lagoon: The challenges of constraint-based test generation. PPDP 2011: 1-2
27		Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Boolean Equi-propagation for Optimized SAT Encoding CoRR abs/1104.4617: (2011)
26		Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs CoRR abs/1109.2139: (2011)
	2010
25		Graeme Gange, Peter J. Stuckey, Vitaly Lagoon: Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. (JAIR) 38: 307-338 (2010)
	2008
24		Graeme Gange, Vitaly Lagoon, Peter J. Stuckey: Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509
23		Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753
22		Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. JSAT 5(1-4): 193-215 (2008)
21		Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic programming with satisfiability. TPLP 8(1): 121-128 (2008)
	2007
20		Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic Programming with Satisfiability CoRR abs/cs/0702072: (2007)
	2006
19		Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
18		Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl: SAT Solving for Argument Filterings. LPAR 2006: 30-44
17		Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18
16		Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl: SAT Solving for Argument Filterings CoRR abs/cs/0605074: (2006)
	2005
15		Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340
14		Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination CoRR abs/cs/0512067: (2005)
13		Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005)
	2004
12		Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717
11		Vitaly Lagoon, Peter J. Stuckey: Set Domain Propagation Using ROBDDs. CP 2004: 347-361
	2003
10		Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey: Termination Analysis with Types Is More Accurate. ICLP 2003: 254-268
	2002
9		Vitaly Lagoon, Peter J. Stuckey: Precise pair-sharing analysis of logic programs. PPDP 2002: 99-108
8		Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon: Combining Norms to Prove Termination. VMCAI 2002: 126-138
	2001
7		Vitaly Lagoon, Peter J. Stuckey: A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310
	2000
6		Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. J. Log. Program. 42(2): 111-149 (2000)
5		Michael Codish, Vitaly Lagoon: Type dependencies for logic programs using ACI-unification. Theor. Comput. Sci. 238(1-2): 131-159 (2000)
	1997
4		Francisco Bueno, Michael Codish, Vitaly Lagoon: Sharing Analysis Using Set Logic Programs. ICLP 1997: 417
3		Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. SAS 1997: 68-82
	1996
2		Michael Codish, Vitaly Lagoon, Francisco Bueno: Sharing Analysis for Logic Programs using Set Logic Programs. APPIA-GULP-PRODE 1996: 29-40
1		Michael Codish, Vitaly Lagoon: Type Dependencies for Logic Programs Using ACI-Unification. ISTCS 1996: 136-145

Coauthor Index

1	Francisco Bueno	[2] [3] [4] [6]
2	Michael Codish	[1] [2] [3] [4] [5] [6] [8] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [27] [29]
3	John P. Gallagher	[8]
4	Graeme Gange	[24] [25]
5	Samir Genaim	[8]
6	Jürgen Giesl	[16] [18]
7	Peter Hawkins	[12] [13] [26]
8	Frédéric Mesnard (Fred Mesnard)	[10]
9	Amit Metodi	[27] [29]
10	Peter Schachte	[19]
11	Peter Schneider-Kamp	[16] [18]
12	Peter J. Stuckey	[7] [9] [10] [11] [12] [13] [14] [15] [17] [19] [20] [21] [22] [23] [24] [25] [26] [27] [29]
13	René Thiemann	[16] [18]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page