Picture for Pedro Resende

Pedro Resende

SAT-Based Algorithms for Regular Graph Pattern Matching

Add code
Dec 15, 2023
Viaarxiv icon

Qualia as physical measurements: a mathematical model of qualia and pure concepts

Add code
Mar 20, 2022
Viaarxiv icon