Nadia Creignou

发表

Arne Meier, Julian-Steffen Müller, Heribert Vollmer, 2015, LATA.

Heribert Vollmer, Phokion G. Kolaitis, Nadia Creignou, 2006, Complexity of Constraints.

Stefan Woltran, Michael Thomas, Nadia Creignou, 2010, JELIA.

Heribert Vollmer, Henning Schnoor, Nadia Creignou, 2010, Log. Methods Comput. Sci..

Sanjeev Khanna, Madhu Sudan, Nadia Creignou, 2001 .

Michael Thomas, Nadia Creignou, Johannes Schmidt, 2009, KR.

Heribert Vollmer, Reinhard Pichler, Nadia Creignou, 2017, LATA.

Odile Papini, Nadia Creignou, Raïda Ktari, 2015, ECSQARU.

Sanjeev Khanna, Madhu Sudan, Nadia Creignou, 2001 .

Nadia Creignou, 2005, Annals of Mathematics and Artificial Intelligence.

Arne Meier, Julian-Steffen Müller, Heribert Vollmer, 2013, Theory of Computing Systems.

Heribert Vollmer, Phokion G. Kolaitis, Nadia Creignou, 2006, Complexity of Constraints.

Nadia Creignou, Uwe Egly, Hervé Daudé, 2008, SAT.

Heribert Vollmer, Phokion G. Kolaitis, Nadia Creignou, 2006 .

Michael Thomas, Nadia Creignou, Johannes Schmidt, 2010, J. Log. Comput..

Phokion G. Kolaitis, Nadia Creignou, Bruno Zanuttini, 2005, Electron. Colloquium Comput. Complex..

Heribert Vollmer, Oliver Kullmann, Nadia Creignou, 2012, Dagstuhl Reports.

Nadia Creignou, Philippe Chapdelaine, N. Creignou, 2005, Annals of Mathematics and Artificial Intelligence.

Arne Meier, Julian-Steffen Müller, Heribert Vollmer, 2019, Algorithms.

Heribert Vollmer, Phokion G. Kolaitis, Nadia Creignou, 2006, Complexity of Constraints.

Henning Schnoor, Ilka Schnoor, Nadia Creignou, 2010, TOCL.

Heribert Vollmer, Nadia Creignou, Michael Bauland, 2004, SAT.

Heribert Vollmer, Nadia Creignou, Olaf Beyersdorff, 2016, Dagstuhl Reports.

Sanjeev Khanna, Madhu Sudan, Nadia Creignou, 2001 .

Nadia Creignou, Miki Hermann, N. Creignou, 1996, Inf. Comput..

Nadia Creignou, Uwe Egly, Hervé Daudé, 2007, J. Artif. Intell. Res..

Heribert Vollmer, Reinhard Pichler, Nadia Creignou, 2019, Discret. Appl. Math..

Adrian Haret, Stefan Woltran, Odile Papini, 2018, IJCAI.

Nadia Creignou, Hervé Daudé, N. Creignou, 2003, Theor. Comput. Sci..

Arne Meier, Julian-Steffen Müller, Heribert Vollmer, 2013, ArXiv.

Nadia Creignou, Hervé Daudé, N. Creignou, 2003, RAIRO Theor. Informatics Appl..

Sanjeev Khanna, Madhu Sudan, Nadia Creignou, 2001 .

Nadia Creignou, Uwe Egly, Hervé Daudé, 2009, SAT.

Nadia Creignou, Jean-Jacques Hébrard, 1997, RAIRO Theor. Informatics Appl..

Arne Meier, Heribert Vollmer, Nadia Creignou, 2010, TOCL.

Gernot Salzer, Nadia Creignou, Andrei A. Krokhin, 2008, Theory of Computing Systems.

Nadia Creignou, Olivier Dubois, Hervé Daudé, 2003, Comb. Probab. Comput..

Nadia Creignou, John V. Franco, Hervé Daudé, 2005, Discret. Appl. Math..

Nadia Creignou, Malika More, 1997, J. Log. Comput..

Heribert Vollmer, Nadia Creignou, H. Vollmer, 2008, Complexity of Constraints.

Nadia Creignou, Hervé Daudé, N. Creignou, 2004, Inf. Comput..

Arne Meier, Julian-Steffen Müller, Heribert Vollmer, 2013, MFCS.

Stefan Woltran, Reinhard Pichler, Nadia Creignou, 2013, IJCAI.

Heribert Vollmer, Henning Schnoor, Nadia Creignou, 2010, Theory of Computing Systems.

Nadia Creignou, Johannes Schmidt, Uwe Egly, 2021, COMMA.

Martina Seidl, Nadia Creignou, Uwe Egly, 2012, TAP@TOOLS.

Nadia Creignou, Bruno Zanuttini, B. Zanuttini, 2006, SIAM J. Comput..

Nadia Creignou, Uwe Egly, Hervé Daudé, 2015, RAIRO Theor. Informatics Appl..

Heribert Vollmer, Nadia Creignou, 2012, SAT.

Odile Papini, Nadia Creignou, Raïda Ktari, 2017, ECSQARU.

Henning Schnoor, Ilka Schnoor, Nadia Creignou, 2008, CSL.

Odile Papini, Nadia Creignou, Raïda Ktari, 2018, J. Artif. Intell. Res..

Phokion G. Kolaitis, Nadia Creignou, Bruno Zanuttini, 2008, J. Comput. Syst. Sci..

Nadia Creignou, Hervé Daudé, N. Creignou, 1999, Discret. Appl. Math..

Sanjeev Khanna, Madhu Sudan, Nadia Creignou, 2001 .

Stefan Rümmele, Stefan Woltran, Odile Papini, 2014, ECAI.

Nadia Creignou, Hervé Daudé, 2013, Eur. J. Comb..

Gernot Salzer, Victor Chepoi, Nadia Creignou, 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

Sanjeev Khanna, Madhu Sudan, Nadia Creignou, 2001, SIAM monographs on discrete mathematics and applications.

Stefan Rümmele, Stefan Woltran, Odile Papini, 2016, TOCL.

Nadia Creignou, Hervé Daudé, 2009, Discret. Math..

Nadia Creignou, N. Creignou, 1995, J. Comput. Syst. Sci..

Nadia Creignou, Johannes Schmidt, Uwe Egly, 2014, TOCL.

Sanjeev Khanna, Madhu Sudan, Nadia Creignou, 2001 .

Stefan Woltran, Michael Thomas, Nadia Creignou, 2011, Argument Comput..

Heribert Vollmer, Phokion G. Kolaitis, Nadia Creignou, 2008, Complexity of Constraints.

Stefan Woltran, Odile Papini, Reinhard Pichler, 2012, J. Comput. Syst. Sci..

Nadia Creignou, Frédéric Olive, Johannes Schmidt, 2011, SAT.

Heribert Vollmer, Henning Schnoor, Nadia Creignou, 2005, Electron. Colloquium Comput. Complex..

Gernot Salzer, Victor Chepoi, Nadia Creignou, 2010, Eur. J. Comb..

Odile Papini, Nadia Creignou, Raïda Ktari, 2016, ECAI.

Nadia Creignou, Uwe Egly, Hervé Daudé, 2009, ArXiv.

Nadia Creignou, Sarah Blind, Frédéric Olive, 2021, Discret. Appl. Math..

Nadia Creignou, Olivier Dubois, Hervé Daudé, 2007 .

Nadia Creignou, Miki Hermann, 1993 .

Heribert Vollmer, Nadia Creignou, Steffen Reith, 2004 .

Sanjeev Khanna, Madhu Sudan, Nadia Creignou, 2007 .