Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante
  • Member for 9 years
  • Last seen more than a week ago
0 votes
0 answers
19 views

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

1 vote
1 answer
52 views

CDCL SAT solvers and don't cares

4 votes
1 answer
110 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
43 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
81 views

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

2 votes
1 answer
114 views

Counter automata with a bound on the counters?

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
381 views

Test suite for SAT solvers

1 vote
0 answers
121 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?