From LRDE
< User:Cd| (26 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| + | {{#widget:Ohloh Project|id=olena|type=cocomo}} |
||
| − | {{Publication |
||
| − | | published = false |
||
| − | | date = 2015-09-01 |
||
| − | | authors = AA |
||
| − | | booktitle = AA |
||
| − | | title = SAT-based Minimization of Deterministic -Automata |
||
| − | | pages = |
||
| − | | publisher = |
||
| − | | volume = |
||
| − | | series = |
||
| − | | abstract = We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance conditions. |
||
| − | | lrdeprojects = |
||
| − | | lrdenewsdate = 2015-09-01 |
||
| − | | lrdepaper = http://www.lrde.epita.fr/dload/papers/baarir.15.lpar.pdf |
||
| − | | type = inproceedings |
||
| − | | id = testttt |
||
| − | | bibtex = |
||
| − | }} |
||
| + | {{#widget:Ohloh Project|id=480615|type=cocomo}} |
||
| − | <!-- |
||
| − | [[User:Cd]] |
||
| − | |||
| − | [[User:Cd/Tests]] |
||
| − | |||
| − | {{Publications/AuthorList|Reda}} |
||
| − | |||
| − | <math>\omega</math> |
||
| − | |||
| − | <math>n</math> |
||
| − | |||
| − | <math>n > 3</math> |
||
| − | |||
| − | <math>Z^n</math> |
||
| − | |||
| − | <math>X \subseteq Z^n</math> |
||
| − | |||
| − | <math>(a^+\mathbin{\vert} x + b^+\mathbin{\vert} y)^*</math> |
||
| − | |||
| − | <math>\mathrm{O}(|S|\times 2^{\mathrm{O}(|\varphi|+n)})</math> |
||
| − | --> |
||
| − | <!-- |
||
| − | {{#ask: [[Category:Publications]] [[Publication type::inproceedings]] [[Related project::Vaucanson]] OR [[Category:Publications]] [[Publication type::inproceedings]] [[Related project::Vcsn]] OR [[Category:Publications]] [[Publication type::inproceedings]] [[Related project::Spot]] |
||
| − | | ?Has bibtex id=Bibtex id |
||
| − | | ?Has author=Authors |
||
| − | | ?Has title=Title |
||
| − | | ?Published in |
||
| − | | ?News date#MEDIAWIKI=Date |
||
| − | | format = template |
||
| − | | template = PublicationRow |
||
| − | | introtemplate = PublicationRowIntro |
||
| − | | outrotemplate = PublicationRowOutro |
||
| − | | named args = yes |
||
| − | | sort = News date |
||
| − | | order = descending |
||
| − | | sep = |
||
| − | }} |
||
| − | --> |
||
| − | |||
| − | <!-- |
||
| − | {{#ask: [[Category:News]] [[News title::~*Ricou*]] |
||
| − | | ?News title=title |
||
| − | | ?News subtitle=subtitle |
||
| − | | ?News date#MEDIAWIKI=date |
||
| − | | format = ul |
||
| − | | template = NewsItem |
||
| − | | order = descending |
||
| − | | sort = News date |
||
| − | | named args = yes |
||
| − | }} |
||
| − | --> |
||
| − | |||
| − | <!-- |
||
| − | {{#ask: [[Category:News]] |
||
| − | | ?News year |
||
| − | | link=none |
||
| − | }} |
||
| − | --> |
||
| − | |||
| − | <!-- |
||
| − | | template = User:Cd/TestsTemplate |
||
| − | --> |
||
| − | |||
| − | <!-- |
||
| − | {{#ask: [[Category:People]] [[Status::!CSI student]] |
||
| − | | ?EPITA Class |
||
| − | | ?Related project |
||
| − | | ?Status |
||
| − | | ?Has Diploma |
||
| − | | ?Current position |
||
| − | | ?Home page |
||
| − | | ?Arrival date |
||
| − | | ?Departure date |
||
| − | | ?Has photo |
||
| − | }} |
||
| − | --> |
||
Latest revision as of 11:49, 26 November 2019