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
Emergence of Scaling in Random Networks, Science, vol.286, issue.5439, 1999. ,
, 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.
Les concepts spatiaux dans la programmation du go, vol.15, pp.143-172, 2001. ,
E?ective BitWidth and Under-Approximation, Proc. of EURO-CAST'09, vol.5717, 2009. ,
CounterExample-Guided Abstraction Refinement For Symbolic Model Checking, Journal of ACM, vol.50, issue.5, 2003. ,
Harald Ruess et Maria Sorea : Lazy Theorem Proving for Bounded Model Checking over Infinite Domains, Proc. of CADE'02, 2002. ,
, Temporal Constraint Networks, vol.49, 1991.
An Extensible SATsolver, Proc. of SAT'03, vol.2919 ,
, , 2003.
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. ,
Complexity and algorithms for reasoning about time : A graphtheoretic approach, J. ACM, vol.40, issue.5, pp.1108-1133, 1993. ,
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information, Proc. of ECAI'14, vol.263, pp.429-434, 2014. ,
Decomposition and tractability in qualitative spatial and temporal reasoning, Artificial Intelligence, vol.195, 2013. ,
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. ,
Tiago de Lima et Valentin Montmirail : A Recursive Shortcut for CEGAR : Application To The Modal Logic K Satisfiability Problem, Proc. of IJCAI'17, 2017. ,
On Topological Consistency and Realization, Constraints, vol.11, issue.1, pp.31-51, 2006. ,
Region Connection Calculus : Its models and composition table, Artif. Intell, vol.145, issue.1-2, pp.121-146, 2003. ,
Qualitative Spatial And Temporal Representation And Reasoning : E ciency in Time And Space, 2017. ,
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions, Proc. of KR'16, 2016. ,
Ecient Path Consistency Algorithm for Large Qualitative Constraint Networks, Proc. of IJCAI'16, 2016. ,
An interval logic for space based on "connection, ECAI, pp.394-398, 1992. ,
Qualitative spatial and temporal reasoning : E cient algorithms for everyone, Proc. ocf IJCAI'07, pp.526-531, 2007. ,
On the Complexity of Qualitative Spatial Reasoning : A Maximal Tractable Fragment of the Region Connection Calculus, Artificial Intelligence, vol.108, issue.1-2, 1999. ,
CounterexampleGuided Cartesian Abstraction Refinement, Proc. of ICAPS'13. AAAI, 2013. ,
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. ,
, An E cient Approach for Tackling Large Real World Qualitative Spatial Networks. IJAIT, vol.25, issue.2, pp.1-33, 2016.
, 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