Login / Signup
Roman Lyttleton
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Solving Hard
Davis Putnam Logemann Loveland
Sat Instances
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)