Mathematical Logic for Computer Science, 2003. ,
Galois theory for Post algebras, I, II. Cybernetics, vol.5, pp.531-539, 1969. ,
Playing with Boolean blocks, part I: Post's lattice with applications to complexity theory, vol.34, pp.38-52, 2003. ,
Bases for Boolean co-clones, Information Processing Letters, vol.96, pp.59-66, 2005. ,
Boolean constraint satisfaction problems: When does Post's lattice help?, Complexity of Constraints, vol.5250, pp.3-37, 2008. ,
A complete classification of the complexity of propositional abduction, SIAM J. Comput, vol.36, issue.1, pp.207-229, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00197028
Investigations into theory of knowledge base revision, Proc. AAAI, pp.475-479, 1988. ,
On the complexity of propositional knowledge base revision, updates, and counterfactuals, Artif. Intell, vol.57, issue.2-3, pp.227-270, 1992. ,
The complexity of logic-based abduction, J. ACM, vol.42, issue.1, pp.3-42, 1995. ,
The complexity class ? p 2 : Recent results and applications in AI and modal logic, Proc. FCT, volume 1279 of LNCS, pp.1-18 ,
, , 1997.
OptP as the normal behavior of NP-complete problems, Mathematical Systems Theory, vol.28, issue.6, pp.487-514, 1995. ,
Closed systems of functions and predicates, Pac. J. Math, vol.27, issue.1, pp.95-100, 1968. ,
Counting complexity of propositional abduction, J. Comput. Syst. Sci, vol.76, issue.7, pp.634-649, 2010. ,
On the algebraic structure of combinatorial problems, Theor. Comput. Sci, vol.200, pp.185-204, 1998. ,
The complexity of optimization problems, J. Comput. Syst. Sci, vol.36, issue.3, pp.490-509, 1988. ,
Generalizations of OptP to the polynomial hierarchy, Theor. Comput. Sci, vol.97, issue.2, pp.183-198, 1992. ,
Belief revision and update: Complexity of model checking, J. Comput. Syst. Sci, vol.62, issue.1, pp.43-72, 2001. ,
What makes propositional abduction tractable, Artif. Intell, vol.172, issue.10, pp.1245-1284, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00995230
Frozen boolean partial co-clones, Proc. ISMVL, pp.120-125, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00944410
, Computational Complexity, 1994.
The two-valued iterative systems of mathematical logic, Annals of Mathematical Studies, vol.5, pp.1-122, 1941. ,
Nonmonotonic reasoning by minimal belief revision, Proc. FGCS, pp.455-462, 1988. ,
The complexity of satisfiability problems, Proc. STOC, pp.216-226, 1978. ,
Partial polymorphisms and constraint satisfaction problems, Complexity of Constraints, vol.5250, pp.229-254, 2008. ,
On the complexity of derivation in propositional calculus, Studies in Constructive Mathematics and Mathematical Logic, Part II, pp.115-125, 1970. ,
On restricting the access to an NP-oracle, Proc. ICALP, vol.317, pp.682-696, 1988. ,