V. Lagoon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fast set bounds propagation using a BDD-SAT hybrid Journal of Artificial Intelligence Research	2010-08-06	Paper
Logic Programming Lecture Notes in Computer Science	2009-08-06	Paper
Solving partial order constraints for LPO termination	2009-04-14	Paper
Solving Partial Order Constraints for LPO Termination Lecture Notes in Computer Science	2008-09-25	Paper
Principles and Practice of Constraint Programming – CP 2004 Lecture Notes in Computer Science	2008-09-09	Paper
SAT Solving for Argument Filterings Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Logic programming with satisfiability Theory and Practice of Logic Programming	2008-01-21	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-05-02	Paper
Logic Programming Lecture Notes in Computer Science	2006-06-27	Paper
scientific article; zbMATH DE number 2243396 (Why is no real title available?) (available as arXiv preprint)	2006-01-04	Paper
scientific article; zbMATH DE number 2086511 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1692903 (Why is no real title available?)	2002-01-21	Paper
Type dependencies for logic programs using ACI-unification Theoretical Computer Science	2000-08-21	Paper
An algebraic approach to sharing analysis of logic programs The Journal of Logic Programming	2000-02-06	Paper

Research outcomes over time

This page was built for person: V. Lagoon