PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lagniez, Jean-Marie"

Author of the publication

copydeleteadd this publication to your clipboard
Améliorer SAT dans le cadre incrémental.

, , , and . Rev. d'Intelligence Artif., 28 (5): 593-614 (2014)

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.

Dr. Eric Jean Kervio University of Stuttgart

Amino Acid-Specific, Ribonucleotide-Promoted Peptide Formation in the Absence of Enzymes, , , , and . Angewandte Chemie. International edition, 56 (5): 1224-1228 (2017)

Jean-Noel Grad University of Stuttgart

Marie Salm University of Stuttgart

Automating the Comparison of Quantum Compilers for Quantum Circuits, , , , and . Symposium and Summer School on Service-Oriented Computing, 1429, page 64-80. Springer Nature, (2021)
Automating the Comparison of Quantum Compilers for Quantum Circuits, , , , and . Symposium and Summer School on Service-Oriented Computing, 1429, page 64-80. Springer Nature, (2021)Demo of a Smart Plant System As an Exemplary Smart Home Application Supporting Non-urgent Notifications, , , , and . Proceedings of the 10th Nordic Conference on Human-Computer Interaction, page 936-939. New York, ACM, (2018)Expanding Data Encoding Patterns For Quantum Algorithms, , , and . 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), page 95-101. Piscataway, IEEE, (2021)

Lisa-Marie Krauß University of Stuttgart

Marie Leimkühler University of Stuttgart

 

Other publications of authors with the same name

Dynamic Polarity Adjustment in a Parallel SAT Solver., and . ICTAI, page 67-73. IEEE Computer Society, (2011)Preprocessing for Propositional Model Counting., and . AAAI, page 2688-2694. AAAI Press, (2014)Factoring Out Assumptions to Speed Up MUS Extraction., and . SAT, volume 7962 of Lecture Notes in Computer Science, page 276-292. Springer, (2013)Defining and Evaluating Heuristics for the Compilation of Constraint Networks., , and . CP, volume 10416 of Lecture Notes in Computer Science, page 172-188. Springer, (2017)Améliorer SAT dans le cadre incrémental., , , and . 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., , and . AAAI, page 3710-3716. AAAI Press, (2015)Symmetry-Driven Decision Diagrams for Knowledge Compilation., , , and . ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 51-56. IOS Press, (2014)A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem., , , and . IJCAI, page 674-680. ijcai.org, (2017)Integrating Conflict Driven Clause Learning to Local Search, , , and . LSCS, volume 5 of EPTCS, page 55-68. (2009)On Checking Kripke Models for Modal Logic K., , , and . PAAR@IJCAR, volume 1635 of CEUR Workshop Proceedings, page 69-81. CEUR-WS.org, (2016)