G. Audemard, J. Lagniez, and L. Simon, Improving Glucose for Incremental SAT Solving with Assumptions : Application to MUS Extraction, Proc. of SAT'13, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00845496

A. Barabási and R. Albert, Emergence of Scaling in Random Networks, Science, vol.286, issue.5439, 1999.

M. Bhatt and H. W. Guesgen, Stefan Wölfl et Shyamanta Moni Hazarika : Qualitative Spatial and Temporal Reasoning : Emerging Applications, Trends, and Directions. Spatial Cognition & Computation, vol.11, pp.1-14, 2011.

B. Bouzy, Les concepts spatiaux dans la programmation du go, vol.15, pp.143-172, 2001.

R. Brummayer and A. Biere, E?ective BitWidth and Under-Approximation, Proc. of EURO-CAST'09, vol.5717, 2009.

E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, CounterExample-Guided Abstraction Refinement For Symbolic Model Checking, Journal of ACM, vol.50, issue.5, 2003.

L. Mendonça-de-moura, Harald Ruess et Maria Sorea : Lazy Theorem Proving for Bounded Model Checking over Infinite Domains, Proc. of CADE'02, 2002.

R. Dechter, I. Meiri, and J. Pearl, Temporal Constraint Networks, vol.49, 1991.

N. Eén and N. Sörensson, An Extensible SATsolver, Proc. of SAT'03, vol.2919

. Springer, , 2003.

G. Glorian and J. Lagniez, Valentin Montmirail et Michael Sioutis : An Incremental SATBased Approach to Reason E ciently on Qualitative Constraint Networks, Proc. of CP'18, vol.11008, pp.160-178, 2018.

M. Charles-golumbic and R. Shamir, Complexity and algorithms for reasoning about time : A graphtheoretic approach, J. ACM, vol.40, issue.5, pp.1108-1133, 1993.

F. Heintz and . Daniel-de-leng, Spatio-Temporal Stream Reasoning with Incomplete Spatial Information, Proc. of ECAI'14, vol.263, pp.429-434, 2014.

J. Huang and J. Renz, Decomposition and tractability in qualitative spatial and temporal reasoning, Artificial Intelligence, vol.195, 2013.

J. Lagniez and D. L. Berre, Tiago de Lima et Valentin Montmirail : An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem, Proc. of IJCAR'18, vol.10900, pp.1-18, 2018.

J. Lagniez and D. L. Berre, Tiago de Lima et Valentin Montmirail : A Recursive Shortcut for CEGAR : Application To The Modal Logic K Satisfiability Problem, Proc. of IJCAI'17, 2017.

S. Li, On Topological Consistency and Realization, Constraints, vol.11, issue.1, pp.31-51, 2006.

S. Li and M. Ying, Region Connection Calculus : Its models and composition table, Artif. Intell, vol.145, issue.1-2, pp.121-146, 2003.

Z. Long, Qualitative Spatial And Temporal Representation And Reasoning : E ciency in Time And Space, 2017.

Z. Long, S. Schockaert, and S. Li, Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions, Proc. of KR'16, 2016.

Z. Long, M. Sioutis, and S. Li, Ecient Path Consistency Algorithm for Large Qualitative Constraint Networks, Proc. of IJCAI'16, 2016.

D. A. Randell, Z. Cui, and A. G. Cohn, An interval logic for space based on "connection, ECAI, pp.394-398, 1992.

J. Renz, Qualitative spatial and temporal reasoning : E cient algorithms for everyone, Proc. ocf IJCAI'07, pp.526-531, 2007.

J. Renz and B. Nebel, On the Complexity of Qualitative Spatial Reasoning : A Maximal Tractable Fragment of the Region Connection Calculus, Artificial Intelligence, vol.108, issue.1-2, 1999.

J. Seipp and M. Helmert, CounterexampleGuided Cartesian Abstraction Refinement, Proc. of ICAPS'13. AAAI, 2013.

M. Sioutis, M. Alirezaie, J. Renoux, and A. Loutfi, Towards a synergy of qualitative spatio-temporal reasoning and smart environments for assisting the elderly at home, IJCAI Workshop on Qualitative Reasoning, pp.901-907, 2017.

M. Sioutis, J. Condotta, and M. Koubarakis, An E cient Approach for Tackling Large Real World Qualitative Spatial Networks. IJAIT, vol.25, issue.2, pp.1-33, 2016.

M. Sioutis, Z. Long, and S. Li, Leveraging Variable Elimination for E ciently Reasoning about Qualitative Constraints. IJAIT, vol.27, p.1860001, 2018.

, Une approche SAT incrémentale pour raisonner e cacement sur les réseaux de contraintes qualitatives par Gaël Glorian