GD-SAT model and crossover line

ISSN： 1362-3079

Source： Journal of Experimental & Theoretical Artificial Intelligence, Vol.13, Iss.3, 2001-07, pp. : 181-198

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Efficient distributed SAT and SAT-based distributed Bounded Model Checking

By Ganai Malay Gupta Aarti Yang Zijiang Ashar Pranav

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 387-396

Springer Publishing Company

Access to resources Recommend Favorite

HySAT: An efficient proof engine for bounded model checking of hybrid systems

By Fränzle Martin Herde Christian

Formal Methods in System Design, Vol. 30, Iss. 3, 2007-06 ,pp. : 179-198

Springer Publishing Company

Access to resources Recommend Favorite

Distributed SAT

By Ruiz Esmeralda

Artificial Intelligence Review, Vol. 35, Iss. 3, 2011-03 ,pp. : 265-285

Springer Publishing Company

Access to resources Recommend Favorite

IslandSAT

By Kilani Yousef

International Journal of Advanced Intelligence Paradigms, Vol. 4, Iss. 3-4, 2012-02 ,pp. : 278-298

Inderscience Publishers

Access to resources Recommend Favorite

Simple algorithm portfolio for SAT

By Nikolić Mladen Marić Filip Janičić Predrag

Artificial Intelligence Review, Vol. 40, Iss. 4, 2013-12 ,pp. : 457-465

Springer Publishing Company

Access to resources Recommend Favorite