Ryuzo Hasegawa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving Automated Deduction—CADE-14	2019-10-01	Paper
MGTP: a model generation theorem prover. Its advanced features and applications Lecture Notes in Computer Science	2019-01-15	Paper
QMaxSAT: A partial Max-SAT solver Journal of Satisfiability, Boolean Modeling and Computation	2016-02-23	Paper
Model generation with Boolean constraints Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 1926637 (Why is no real title available?)	2003-06-11	Paper
scientific article; zbMATH DE number 1696761 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1696802 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1614696 (Why is no real title available?)	2001-07-05	Paper
scientific article; zbMATH DE number 1348475 (Why is no real title available?)	1999-10-10	Paper
scientific article; zbMATH DE number 1303349 (Why is no real title available?)	1999-09-15	Paper
Dataflow computing and Eager and Lazy evaluations New Generation Computing	1984-01-01	Paper
scientific article; zbMATH DE number 3825153 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Ryuzo Hasegawa