Resolution-based lower bounds in MaxSAT

By Li Chu  

Constraints, Vol. 15, Iss. 4, 2010-10 ,pp. : 456-484

Springer Publishing Company

Access to resources Recommend Favorite

An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems

By Labroue A.   Schnoebelen P.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 1, 2004-01 ,pp. : 1-20

Elsevier

Access to resources Recommend Favorite

Extended Automata for Temporal Planning of Interacting Agents

By  

International Journal of Monitoring and Surveillance Technologies Research (IJMSTR), Vol. 5, Iss. 1, 2017-01 ,pp. : 30-48

IGI Global_journal

Access to resources Recommend Favorite

Automata-Based Axiom Pinpointing

By Baader Franz   Peñaloza Rafael  

Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. : 91-129

Springer Publishing Company

Access to resources Recommend Favorite

New Approach of Diagnosis by Timed Automata

By  

International Journal of Ambient Computing and Intelligence (IJACI), Vol. 8, Iss. 3, 2017-07 ,pp. : 76-93

IGI Global_journal

Access to resources Recommend Favorite