Ryuzo Hasegawa

From MaRDI portal
Person:1077927

Available identifiers

zbMath Open hasegawa.ryuzoMaRDI QIDQ1077927

List of research outcomes





PublicationDate of PublicationType
Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving2019-10-01Paper
MGTP: A model generation theorem prover — Its advanced features and applications —2019-01-15Paper
QMaxSAT: A partial Max-SAT solver2016-02-23Paper
Model Generation with Boolean Constraints2011-05-06Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q47077652003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q27670112002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q27670612002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27234192001-07-05Paper
https://portal.mardi4nfdi.de/entity/Q42647291999-10-10Paper
https://portal.mardi4nfdi.de/entity/Q42499021999-09-15Paper
Dataflow computing and Eager and Lazy evaluations1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36705471983-01-01Paper

Research outcomes over time

This page was built for person: Ryuzo Hasegawa

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1077927&oldid=5884936"
Powered by MediaWiki