1. ScholarBank@NUS

Frank Christian Stephan

rp00190

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Frank Christian Stephan
Variants
Stephan, P.
Stephan, F.
Stephan F
 
Main Affiliation
 
Faculty
 
Email
dcssfc@nus.edu.sg
 
Other emails
 

Publications

Refined By:
Date Issued:  [2020 TO 2023]

Results 1-7 of 7 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
11-Jan-2020A Faster Exact Algorithm to Count X3SAT SolutionsHoi, G; Jain, S ; Stephan, F 
21-Sep-2023Addition machines, automatic functions and open problems of Floyd and KnuthJain, S ; Jia, X; Sabili, AF; Stephan, F 
32020Chaitin's Ω as a Continuous FunctionHölzl R. ; Merkle W.; Miller J.; Stephan F. ; Yu L.
4Apr-2022Deciding Parity Games in Quasi-polynomial TimeCalude, Cristian S; Jain, Sanjay ; Khoussainov, Bakhadyr ; Li, Wei; Stephan, Frank 
58-Oct-2021Improved algorithms for the general exact satisfiability problemHoi, G ; Stephan, F 
61-Jan-2021Learnability and Positive Equivalence RelationsBelanger, D; Gao, Z ; Jain, S ; Li, W ; Stephan, F 
72020Searching for shortest and least programsCalude C.S.; Jain S. ; Merkle W.; Stephan F.