Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Distributed Version of Syrup.

G. Audemard, J. Lagniez, N. Szczepanski, and S. Tabary. SAT, volume 10491 of Lecture Notes in Computer Science, page 215-232. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean-Noel Grad University of Stuttgart

Lisa-Marie Krauß University of Stuttgart

Marie Leimkühler University of Stuttgart

Jean-Louis Hoslauer University of Stuttgart

Dr. Eric Jean Kervio University of Stuttgart

Other publications of authors with the same name

Preprocessing for Propositional Model Counting.J. Lagniez, and P. Marquis. AAAI, page 2688-2694. AAAI Press, (2014)Dynamic Polarity Adjustment in a Parallel SAT Solver.L. Guo, and J. Lagniez. ICTAI, page 67-73. IEEE Computer Society, (2011)Factoring Out Assumptions to Speed Up MUS Extraction.J. Lagniez, and A. Biere. SAT, volume 7962 of Lecture Notes in Computer Science, page 276-292. Springer, (2013)Defining and Evaluating Heuristics for the Compilation of Constraint Networks.J. Lagniez, P. Marquis, and A. Paparrizou. CP, volume 10416 of Lecture Notes in Computer Science, page 172-188. Springer, (2017)Améliorer SAT dans le cadre incrémental.G. Audemard, A. Biere, J. Lagniez, and L. Simon. Rev. d'Intelligence Artif., 28 (5): 593-614 (2014)On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts.P. Besnard, É. Grégoire, and J. Lagniez. AAAI, page 3710-3716. AAAI Press, (2015)Symmetry-Driven Decision Diagrams for Knowledge Compilation.A. Bart, F. Koriche, J. Lagniez, and P. Marquis. ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 51-56. IOS Press, (2014)Integrating Conflict Driven Clause Learning to Local SearchG. Audemard, J. Lagniez, B. Mazure, and L. Sais. LSCS, volume 5 of EPTCS, page 55-68. (2009)A Recursive Algorithm for Projected Model Counting.J. Lagniez, and P. Marquis. AAAI, page 1536-1543. AAAI Press, (2019)On Checking Kripke Models for Modal Logic K.J. Lagniez, D. Berre, T. de Lima, and V. Montmirail. PAAR@IJCAR, volume 1635 of CEUR Workshop Proceedings, page 69-81. CEUR-WS.org, (2016)