A reactive and hybrid constraint solver

By Monfroy Eric  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 25, Iss. 1, 2013-03 ,pp. : 1-22

Taylor & Francis Ltd

Access to resources Recommend Favorite

CLPS–B – A constraint solver to animate a B specification

By Bouquet Fabrice   Legeard Bruno   Peureux Fabien  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 2, 2004-08 ,pp. : 143-157

Springer Publishing Company

Access to resources Recommend Favorite

Parallel direct solver for the finite integration technique in electromagnetics

By Tinzefte Abdellatif   Menach Yvonnick Le   Korecki Julien   Piriou Francis  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 29, Iss. 4, 2010-07 ,pp. : 941-949

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Satisfying constraint sets through convex envelopes

By Santos Eugene  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 18, Iss. 3, 2006-09 ,pp. : 413-432

Taylor & Francis Ltd

Access to resources Recommend Favorite

The commutation of finite sets: a challenging problem

By Choffrut C.   Karhumaki J.   Ollinger N.  

Theoretical Computer Science, Vol. 273, Iss. 1, 2002-02 ,pp. : 69-79

Elsevier

Access to resources Recommend Favorite