Author of the publication

Minimal Unsatisfiable Sets: Classification and Bounds.

, and . ASIAN, volume 3321 of Lecture Notes in Computer Science, page 330-342. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Synthesis of Easily Testable (k, K) Circuits., and . IEEE Trans. Computers, 52 (11): 1490-1494 (2003)Combinatorial Optimization., and . Computing Handbook, 3rd ed. (1), CRC Press, (2014)Volume Sculpting and Keyframe Animation System., , , and . CA, page 134-139. IEEE Computer Society, (2000)Hulls and Efficient Sets for the Rectilinear Norm., and . INFORMS J. Comput., 7 (1): 78-83 (1995)Combinatorial Optimization: An Integer Programming Perspective., and . ACM Comput. Surv., 28 (1): 55-58 (1996)Minimal Unsatisfiable Sets: Classification and Bounds., and . ASIAN, volume 3321 of Lecture Notes in Computer Science, page 330-342. Springer, (2004)Mathematical Programming Embeddings of Logic., , and . J. Autom. Reasoning, 29 (1): 91-106 (2002)Algorithms for the Optimal Loading of Recursive Neural Nets., , , , and . SODA, page 342-349. ACM/SIAM, (1995)Negation as Failure as Resolution., , and . Constraints, 3 (4): 315-329 (1998)Short-Cuts on Star, Source and Planar Unfoldings., , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 174-185. Springer, (2004)