Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante
  • Member for 9 years, 2 months
  • Last seen more than a month ago
0 votes
0 answers
21 views

Textbooks to study machine learning as a TCS/FM/symbolic AI researcher

1 vote
1 answer
53 views

CDCL SAT solvers and don't cares

2 votes
1 answer
115 views

Counter automata with a bound on the counters?

4 votes
1 answer
114 views

Building the minimal automaton from the syntactic monoid of a language

4 votes
1 answer
48 views

Complementation of deterministic Streett automata

2 votes
0 answers
46 views

Recurring computations for 2-counter machines

1 vote
0 answers
18 views

Has the similarity relation of a tree-shaped labelled transition system have finite index?

4 votes
1 answer
86 views

Uses of of the one-variable fragment of first-order logic aka S5

1 vote
0 answers
20 views

Good exposition of tableau for first-order logic with equality?

1 vote
0 answers
24 views

Modal logic equivalent to two-variable first-order logic?

3 votes
0 answers
404 views

Test suite for SAT solvers

1 vote
0 answers
122 views

Suggestion for a good statistics book for computer scientists, in preparation of machine learning

5 votes
0 answers
137 views

Has this graph-theoretic problem got a known name? Is it NP-hard?

7 votes
1 answer
177 views

Is there any published paper about automated planning software used in the ESA Rosetta mission?