Christoph Robert Meinecke

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Davis Putnam Logemann Loveland

Systematic Search Algorithms

Top Venues

Adv. Intell. Syst.

Publications

Jingyuan Zhu, Aseem Salhotra, Christoph Robert Meinecke, Pradheebha Surendiran, Roman Lyttleton, Danny Reuter, Hillel Kugler, Stefan Diez, Alf Månsson, Heiner Linke, Till Korten
Solving the 3-Satisfiability Problem Using Network-Based Biocomputation. Adv. Intell. Syst. 4 (12) (2022)