Lucas Bordeaux

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
Generalizing consistency and other constraint properties to quantified constraints ACM Transactions on Computational Logic	2015-09-17	Paper
Knowledge compilation with empowerment SOFSEM 2012: Theory and Practice of Computer Science	2012-06-15	Paper
The complexity of integer bound propagation Journal of Artificial Intelligence Research	2011-05-04	Paper
A unifying framework for structural properties of CSPS: definitions, complexity, tractability (available as arXiv preprint)	2009-04-28	Paper
An Analysis of Slow Convergence in Interval Propagation Principles and Practice of Constraint Programming – CP 2007	2008-09-02	Paper
A Generalized Framework for Conflict Analysis Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
Recent Advances in Constraints Lecture Notes in Computer Science	2005-11-11	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 1975612 (Why is no real title available?)	2003-09-07	Paper

Research outcomes over time

This page was built for person: Lucas Bordeaux