Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

voronovs sat [19 articles]

Artikler nylig sendt til voronovs bibliotek klassifisert med nøkkelordet sat. You can also see everyone's sat.
  • Online supervision of discrete event systems
    American Control Conference, 2003. Proceedings of the 2003, Vol. 2 (2003), pp. 1685-1690.
    by R Minhas, WM Wonham
    posted to sat online modular llp limitedlookahead des by voronov on 2008-05-26 10:58:22 as **
  • Online Supervisory Control of Hybrid Systems Using Embedded Simulation
    Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 137-142.
    by JP Millan, SD O'Young
    posted to sat llp limitedlookahead des by voronov on 2008-05-26 10:35:29 as read
  • Bounded Model Checking
    ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149.
    by A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
    posted to sat by voronov on 2008-05-16 09:25:00 as ** along with 1 person shimomura
  • A survey of recent advances in SAT-based formal verification
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 2. (30 April 2005), pp. 156-173.
    by Mukul R Prasad, Armin Biere, Aarti Gupta
    posted to sat by voronov on 2008-05-16 09:17:51 as **
  • Scheduling of discrete event systems using mixed integer linear programming
    Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 76-81.
    by A Kobetski, M Fabian
    posted to des optimization robots sat scheduling supremica by voronov on 2008-04-17 12:05:55 as **
  • Variable lookahead supervisory control with state information
    Automatic Control, IEEE Transactions on, Vol. 39, No. 12. (1994), pp. 2398-2410.
    by NB Hadj-Alouane, S Lafortune, Feng Lin
    posted to sat supervisory by voronov on 2008-04-16 20:57:31 as **
  • Limited lookahead policies in supervisory control of discrete event systems
    Automatic Control, IEEE Transactions on, Vol. 37, No. 12. (1992), pp. 1921-1935.
    by SL Chung, S Lafortune, F Lin
    posted to des limitedlookahead sat by voronov on 2008-02-11 11:57:45 as ** along with 1 person and 1 group pverstra macc
  • March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver
    Theory and Applications of Satisfiability Testing (2005), pp. 345-359.
    by Marijn Heule, Mark Dufour, Joris van Zwieten, Hans van Maaren
    posted to sat sat-solver solver by voronov on 2008-02-10 23:35:57 as **
  • Symbolic model checking: 10<sup>20</sup> states and beyond
    Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 428-439.
    by JR Burch, EM Clarke, KL Mcmillan, DL Dill, LJ Hwang
    posted to bdd sat symbolicmodelchecking by voronov on 2008-02-10 21:36:53 as **
  • A machine program for theorem-proving
    Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397.
    by Martin Davis, George Logemann, Donald Loveland
    posted to dll sat by voronov on 2008-02-10 21:00:23 as ** along with 1 person bfraser
  • Planning as satisfiability
    (1992), pp. 359-363.
    by Henry Kautz, Bart Selman
    posted to planning sat by voronov on 2008-02-08 23:49:44 as read along with 1 person ug44sxs
  • Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
    (1996), pp. 1194-1201.
    by Henry Kautz, Bart Selman
    edited by Howard Shrobe, Ted Senator
    posted to planning sat by voronov on 2008-02-08 23:46:33 as read along with 1 person cyph3r
  • Automatic SAT-Compilation of Planning Problems
    (1997), pp. 1169-1177.
    by Michael Ernst, Todd D Millstein, Daniel S Weld
    posted to sat by voronov on 2008-01-29 14:19:05 as **
  • Diagnosis of discrete-event systems using satisfiability algorithms
    (2007), pp. 305-310.
    by Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva
    posted to des sat by voronov on 2008-01-29 13:54:39 as **
  • Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT
    Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on (2004), pp. 16-25.
    by V Khomenko, M Koutny, A Yakovlev
    posted to circuit construction des expression sat by voronov on 2008-01-29 13:30:33 as **
  • Effective Preprocessing in SAT Through Variable and Clause Elimination
    Theory and Applications of Satisfiability Testing (2005), pp. 61-75.
    by Niklas Eén, Armin Biere
    posted to minisat sat satelite by voronov on 2008-01-24 21:51:27 as ** along with 2 people bfraser nicolasvasilache
  • Application of symbolic and bounded model checking to the verification of logic control systems
    Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, Vol. 1 (2005), 4 pp..
    by K Loeis, MB Younis, G Frey
    posted to bdd bmc des germany plc sat by voronov on 2008-01-23 20:18:48 as read
  • Theory and Applications of Satisfiability Testing - SAT 2007
    (2007)
    edited by Joao Marques-Silva, Karem A Sakallah
    posted to des sat by voronov on 2008-01-09 23:34:12 as **
  • Minimizing the number of clauses by renaming
    10th International Conference on Automated Deduction (1990), pp. 558-572.
    by boy
    posted to cnf sat by voronov on 2007-12-13 14:05:42 as **
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/voronov/tag/sat

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.