( en | de | ru )

 

Disambiguation of "Feng, Nick"

Author of the publication

copydeleteadd this publication to your clipboard
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.

, , , , , , , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 3-23. Springer, (2024)

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.

Nick Fandrich

Zur Charakterisierung von amphiphilen Blockcopolymeren aus N-Vinylpyrrolidon und Vinylacetat. Uni Potsdam, (2009)

Gerhard Nick

Gernot Nick

Nick Bretl

Nick Bretschneider

 

Other publications of authors with the same name

Clause Size Reduction with all-UIP Learning., and . SAT, volume 12178 of Lecture Notes in Computer Science, page 28-45. Springer, (2020)Scaling Client-Specific Equivalence Checking via Impact Boundary Search., , , and . ASE, page 734-745. IEEE, (2020)Towards a Formal Framework for Normative Requirements Elicitation., , , , , , and . ASE, page 1776-1780. IEEE, (2023)DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories., , , , , , , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 3-23. Springer, (2024)Analyzing and Debugging Normative Requirements via Satisfiability Checking., , , , , , , , , and 4 other author(s). CoRR, (2024)Early Verification of Legal Compliance via Bounded Satisfiability Checking., , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 374-396. Springer, (2023)Code-Level Functional Equivalence Checking of Annotative Software Product Lines., , and . SPLC (A), page 64-75. ACM, (2023)Verification by Gambling on Program Slices., , , , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 266-282. Springer, (2021)Normative Requirements Operationalization with Large Language Models., , , , , , , , , and 2 other author(s). CoRR, (2024)Bounded Satisfiability Checking of Metric First-order Temporal Logic., , , and . CoRR, (2022)