( en | de | ru )

 

Disambiguation of "Manthey, Norbert"

Author of the publication

copydeleteadd this publication to your clipboard
New CNF Features and Formula Classification.

, and . POS@SAT, volume 27 of EPiC Series in Computing, page 57-71. EasyChair, (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.

Norbert Manthey

Joachim Manthey

Fred Manthey

Christine Manthey

Manfred Manthey

 

Other publications of authors with the same name

Sharing Information in Parallel Search with Search Space Partitioning., and . LION, volume 7997 of Lecture Notes in Computer Science, page 52-58. Springer, (2013)Formula Simplifications as DRAT Derivations., and . KI, volume 8736 of Lecture Notes in Computer Science, page 111-122. Springer, (2014)Detecting Cardinality Constraints in CNF., , , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 285-301. Springer, (2014)Parallel MUS Extraction., , and . SAT, volume 7962 of Lecture Notes in Computer Science, page 133-149. Springer, (2013)Using model checking tools to triage the severity of security bugs in the Xen hypervisor., , , , , , , and . FMCAD, page 185-193. IEEE, (2020)Towards Next Generation Sequential and Parallel SAT Solvers.. Künstliche Intell., 30 (3-4): 339-342 (2016)Coprocessor - a Standalone SAT Preprocessor.. INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 297-304. Springer, (2011)BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies., , , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 521-530. Springer, (2016)Solving Periodic Event Scheduling Problems with SAT., , , , , and . IEA/AIE, volume 7345 of Lecture Notes in Computer Science, page 166-175. Springer, (2012)New CNF Features and Formula Classification., and . POS@SAT, volume 27 of EPiC Series in Computing, page 57-71. EasyChair, (2014)